The Complexity of Cylindrical Algebraic Decomposition with Respect to Polynomial Degree (Q2829999): Difference between revisions

@@ Property / cites work @@
+Cylindrical Algebraic Decomposition I: The Basic Algorithm
+Normal rank
@@ Property / cites work @@
+Algorithms in real algebraic geometry
@@ Property / cites work: Algorithms in real algebraic geometry / rank @@
+Normal rank
@@ Property / cites work @@
+Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains
+Normal rank
@@ Property / cites work @@
+Cylindrical algebraic decompositions for boolean combinations
+Normal rank
@@ Property / cites work @@
+Truth table invariant cylindrical algebraic decomposition
+Normal rank
@@ Property / cites work @@
+Optimising Problem Formulation for Cylindrical Algebraic Decomposition
+Normal rank
@@ Property / cites work @@
+Improved projection for cylindrical algebraic decomposition
+Normal rank
@@ Property / cites work @@
+Constructing a single open cell in a cylindrical algebraic decomposition
+Normal rank
@@ Property / cites work @@
+Q5301651
@@ Property / cites work: Q5301651 / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic methods for investigating equilibria in epidemic modeling
+Normal rank
@@ Property / cites work @@
+Bruno Buchberger's PhD thesis 1965: An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal. Translation from the German
+Normal rank
@@ Property / cites work @@
+Explicit factors of some iterated resultants and discriminants
+Normal rank
@@ Property / cites work @@
+Computing cylindrical algebraic decomposition via triangular decomposition
+Normal rank
@@ Property / cites work @@
+Q4391213
@@ Property / cites work: Q4391213 / rank @@
+Normal rank
@@ Property / cites work @@
+Partial cylindrical algebraic decomposition for quantifier elimination
+Normal rank
@@ Property / cites work @@
+Need Polynomial Systems Be Doubly-Exponential?
@@ Property / cites work: Need Polynomial Systems Be Doubly-Exponential? / rank @@
+Normal rank
@@ Property / cites work @@
+Real quantifier elimination is doubly exponential
@@ Property / cites work: Real quantifier elimination is doubly exponential / rank @@
+Normal rank
@@ Property / cites work @@
+Problem Formulation for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition
+Normal rank
@@ Property / cites work @@
+Improving the Use of Equational Constraints in Cylindrical Algebraic Decomposition
+Normal rank
@@ Property / cites work @@
+Using the Regular Chains Library to Build Cylindrical Algebraic Decompositions by Projecting and Lifting
+Normal rank
@@ Property / cites work @@
+Synthesis of optimal numerical algorithms using real quantifier elimination (case study: square root computation)
+Normal rank
@@ Property / cites work @@
+Q4660688
@@ Property / cites work: Q4660688 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructing fewer open cells by GCD computation in CAD projection
+Normal rank
@@ Property / cites work @@
+Definability and fast quantifier elimination in algebraically closed fields
+Normal rank
@@ Property / cites work @@
+Applying Machine Learning to the Problem of Choosing a Heuristic to Select the Variable Ordering for Cylindrical Algebraic Decomposition
+Normal rank
@@ Property / cites work @@
+An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for quantifier elimination
+Normal rank
@@ Property / cites work @@
+Le formalisme du résultant. (The formalism of resultant)
+Normal rank
@@ Property / cites work @@
+Iterated discriminants
@@ Property / cites work: Iterated discriminants / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of the word problems for commutative semigroups and polynomial ideals
+Normal rank
@@ Property / cites work @@
+Dimension-dependent bounds for Gröbner bases of polynomial ideals
+Normal rank
@@ Property / cites work @@
+Q4391223
@@ Property / cites work: Q4391223 / rank @@
+Normal rank
@@ Property / cites work @@
+Factors of iterated resultants and discriminants
@@ Property / cites work: Factors of iterated resultants and discriminants / rank @@
+Normal rank
@@ Property / cites work @@
+On propagation of equational constraints in CAD-based quantifier elimination
+Normal rank
@@ Property / cites work @@
+MetiTarski: Past and Future
@@ Property / cites work: MetiTarski: Past and Future / rank @@
+Normal rank
@@ Property / cites work @@
+On the “piano movers'” problem I. The case of a two-dimensional rigid polygonal body moving amidst polygonal barriers
+Normal rank
@@ Property / cites work @@
+Cylindrical algebraic decomposition using validated numerics
+Normal rank
@@ Property / cites work @@
+Cylindrical algebraic sub-decompositions
@@ Property / cites work: Cylindrical algebraic sub-decompositions / rank @@
+Normal rank
@@ Property / cites work @@
+Speeding Up Cylindrical Algebraic Decomposition by Gröbner Bases
+Normal rank
@@ Property / cites work @@
+Cylindrical algebraic decomposition using local projections
+Normal rank
@@ Property / DBLP publication ID @@
+conf/casc/EnglandD16
@@ Property / DBLP publication ID: conf/casc/EnglandD16 / rank @@
+Normal rank