Description of the connected components of a semialgebraic set in single exponential time (Q1317872): Difference between revisions

@@ Property / cites work @@
+Q3770650
@@ Property / cites work: Q3770650 / rank @@
+Normal rank
@@ Property / cites work @@
+Finding connected components of a semialgebraic set in subexponential time
+Normal rank
@@ Property / cites work @@
+Q4079605
@@ Property / cites work: Q4079605 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4725742
@@ Property / cites work: Q4725742 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of deciding Tarski algebra
@@ Property / cites work: Complexity of deciding Tarski algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q3971133
@@ Property / cites work: Q3971133 / rank @@
+Normal rank
@@ Property / cites work @@
+Construction of roadmaps in semi-algebraic sets
@@ Property / cites work: Construction of roadmaps in semi-algebraic sets / rank @@
+Normal rank
@@ Property / cites work @@
+Solving systems of polynomial inequalities in subexponential time
+Normal rank
@@ Property / cites work @@
+Counting connected components of a semialgebraic set in subexponential time
+Normal rank
@@ Property / cites work @@
+Sur la complexité du principe de Tarski-Seidenberg
+Normal rank
@@ Property / cites work @@
+Q3983701
@@ Property / cites work: Q3983701 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3219752
@@ Property / cites work: Q3219752 / 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
@@ Property / cites work @@
+On the computational complexity and geometry of the first-order theory of the reals. II: The general decision problem. Preliminaries for quantifier elimination
+Normal rank
@@ Property / cites work @@
+On the computational complexity and geometry of the first-order theory of the reals. III: Quantifier elimination
+Normal rank
@@ Property / cites work @@
+On the ''Piano Movers'' problem. II: General techniques for computing topological properties of real algebraic manifolds
+Normal rank
@@ Property / cites work @@
+Q4137157
@@ Property / cites work: Q4137157 / rank @@
+Normal rank