Quantifier elimination by cylindrical algebraic decomposition based on regular chains (Q5925208): Difference between revisions

@@ Property / cites work @@
+New results on quantifier elimination over real closed fields and applications to constraint databases
+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 @@
+Q5301651
@@ Property / cites work: Q5301651 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantifier elimination and cylindrical algebraic decomposition. Proceedings of a symposium, Linz, Austria, October 6--8, 1993
+Normal rank
@@ Property / cites work @@
+Comprehensive Triangular Decomposition
@@ Property / cites work: Comprehensive Triangular Decomposition / rank @@
+Normal rank
@@ Property / cites work @@
+An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions
+Normal rank
@@ Property / cites work @@
+Cylindrical Algebraic Decomposition in the RegularChains Library
+Normal rank
@@ Property / cites work @@
+Quantifier elimination by cylindrical algebraic decomposition based on regular chains
+Normal rank
@@ Property / cites work @@
+Real Quantifier Elimination in the RegularChains Library
+Normal rank
@@ Property / cites work @@
+Computing cylindrical algebraic decomposition via triangular decomposition
+Normal rank
@@ Property / cites work @@
+Thom's lemma, the coding of real algebraic numbers and the computation of the topology of semi-algebraic sets
+Normal rank
@@ Property / cites work @@
+Quantifier elimination in automatic loop parallelization
+Normal rank
@@ Property / cites work @@
+Q4234240
@@ Property / cites work: Q4234240 / rank @@
+Normal rank
@@ Property / cites work @@
+Variant quantifier elimination
@@ Property / cites work: Variant quantifier elimination / rank @@
+Normal rank
@@ Property / cites work @@
+On the computational complexity and geometry of the first-order theory of the reals. I: Introduction. Preliminaries. The geometry of semi-algebraic sets. The decision problem for the existential theory of the reals
+Normal rank