Finding irreducible components of some real transcendental varieties (Q1332661): Difference between revisions

@@ Property / cites work @@
+Q5184990
@@ Property / cites work: Q5184990 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4132530
@@ Property / cites work: Q4132530 / 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 @@
+Solving systems of polynomial inequalities in subexponential time
+Normal rank
@@ Property / cites work @@
+Sur la complexité du principe de Tarski-Seidenberg
+Normal rank
@@ Property / cites work @@
+Computing the irreducible real factors and components of an algebraic curve
+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 @@
+Q4771357
@@ Property / cites work: Q4771357 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3973352
@@ Property / cites work: Q3973352 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of deciding consistency of systems of polynomials in exponent inequalities
+Normal rank
@@ Property / cites work @@
+Elementary structure of real algebraic varieties
@@ Property / cites work: Elementary structure of real algebraic varieties / rank @@
+Normal rank