Complexity lower bounds for computation trees with elementary transcendental function gates (Q1365876): Difference between revisions

@@ Property / cites work @@
+Semianalytic and subanalytic sets
@@ Property / cites work: Semianalytic and subanalytic sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q4324358
@@ Property / cites work: Q4324358 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3719722
@@ Property / cites work: Q3719722 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4132530
@@ Property / cites work: Q4132530 / rank @@
+Normal rank
@@ Property / cites work @@
+Complements of subanalytic sets and existential formulas for analytic functions
+Normal rank
@@ Property / cites work @@
+Complexity of stratifications of semi-Pfaffian sets
+Normal rank
@@ Property / cites work @@
+Complexity of deciding Tarski algebra
@@ Property / cites work: Complexity of deciding Tarski algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q4308393
@@ Property / cites work: Q4308393 / rank @@
+Normal rank
@@ Property / cites work @@
+Lower bounds on testing membership to a polyhedron by algebraic decision trees
+Normal rank
@@ Property / cites work @@
+On Computing Algebraic Functions Using Logarithms and Exponentials
+Normal rank
@@ Property / cites work @@
+Solving systems of polynomial inequalities in subexponential time
+Normal rank
@@ Property / cites work @@
+Complexity lower bounds for computation trees with elementary transcendental function gates
+Normal rank
@@ Property / cites work @@
+Topological Properties of Subanalytic Sets
@@ Property / cites work: Topological Properties of Subanalytic Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Sur la complexité du principe de Tarski-Seidenberg
+Normal rank
@@ Property / cites work @@
+Q3711248
@@ Property / cites work: Q3711248 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3999699
@@ Property / cites work: Q3999699 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4001976
@@ Property / cites work: Q4001976 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Betti Numbers of Real Varieties
@@ Property / cites work: On the Betti Numbers of Real Varieties / rank @@
+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 @@
+Finding irreducible components of some real transcendental varieties
+Normal rank
@@ Property / cites work @@
+Real-Analytic Desingularization and Subanalytic Sets: An Elementary Approach
+Normal rank
@@ Property / cites work @@
+The complexity of deciding consistency of systems of polynomials in exponent inequalities
+Normal rank
@@ Property / cites work @@
+Q4230349
@@ Property / cites work: Q4230349 / rank @@
+Normal rank
@@ Property / cites work @@
+Decision tree complexity and Betti numbers
@@ Property / cites work: Decision tree complexity and Betti numbers / rank @@
+Normal rank
@@ Property / cites work @@
+On the Polyhedral Decision Problem
@@ Property / cites work: On the Polyhedral Decision Problem / rank @@
+Normal rank