Complete numerical isolation of real roots in zero-dimensional triangular systems (Q1025386): Difference between revisions

@@ Property / describes a project that uses @@
+ISOLATE
@@ Property / describes a project that uses: ISOLATE / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jsc.2008.04.017
+Normal rank
@@ Property / OpenAlex ID @@
+W1964839258
@@ Property / OpenAlex ID: W1964839258 / rank @@
+Normal rank
@@ Property / cites work @@
+The Method of Resultants for Computing Real Solutions of Polynomial Systems
+Normal rank
@@ Property / cites work @@
+Cylindrical Algebraic Decomposition I: The Basic Algorithm
+Normal rank
@@ Property / cites work @@
+On the theories of triangular sets
@@ Property / cites work: On the theories of triangular sets / rank @@
+Normal rank
@@ Property / cites work @@
+Fast Multiple-Precision Evaluation of Elementary Functions
+Normal rank
@@ Property / cites work @@
+Ein algorithmisches Kriterium für die Lösbarkeit eines algebraischen Gleichungssystems
+Normal rank
@@ Property / cites work @@
+Mathematics of Surfaces XI
@@ Property / cites work: Mathematics of Surfaces XI / rank @@
+Normal rank
@@ Property / cites work @@
+Q5301656
@@ Property / cites work: Q5301656 / rank @@
+Normal rank
@@ Property / cites work @@
+Interval arithmetic in cylindrical algebraic decomposition
+Normal rank
@@ Property / cites work @@
+Computer Algebra in Scientific Computing
@@ Property / cites work: Computer Algebra in Scientific Computing / rank @@
+Normal rank
@@ Property / cites work @@
+Safe starting regions by fixed points and tightening
+Normal rank
@@ Property / cites work @@
+Solving zero-dimensional algebraic systems
@@ Property / cites work: Solving zero-dimensional algebraic systems / rank @@
+Normal rank
@@ Property / cites work @@
+Computing the isolated roots by matrix methods
@@ Property / cites work: Computing the isolated roots by matrix methods / rank @@
+Normal rank
@@ Property / cites work @@
+Solving zero-dimensional systems through the rational univariate representation
+Normal rank
@@ Property / cites work @@
+Efficient isolation of polynomial's real roots.
@@ Property / cites work: Efficient isolation of polynomial's real roots. / rank @@
+Normal rank
@@ Property / cites work @@
+Q2725952
@@ Property / cites work: Q2725952 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2716051
@@ Property / cites work: Q2716051 / rank @@
+Normal rank
@@ Property / cites work @@
+An algorithm for isolating the real solutions of semi-algebraic systems
+Normal rank
@@ Property / cites work @@
+Real solution isolation using interval arithmetic
@@ Property / cites work: Real solution isolation using interval arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4953977
@@ Property / cites work: Q4953977 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5718722
@@ Property / cites work: Q5718722 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3601542
@@ Property / cites work: Q3601542 / rank @@
+Normal rank