Beyond the Existential Theory of the Reals (Q6489317): Difference between revisions

@@ Property / cites work @@
+The complexity of the Hausdorff distance
@@ Property / cites work: The complexity of the Hausdorff distance / rank @@
+Normal rank
@@ Property / cites work @@
+Q6168447
@@ Property / cites work: Q6168447 / rank @@
+Normal rank
@@ Property / cites work @@
+\(\forall\exists\mathbb {R}\)-completeness and area-universality
+Normal rank
@@ Property / cites work @@
+Completeness for the complexity class \(\forall \exists \mathbb{R}\) and area-universality
+Normal rank
@@ Property / cites work @@
+Computational complexity of multi-player evolutionarily stable strategies
+Normal rank
@@ Property / cites work @@
+Fixed points, Nash equilibria, and the existential theory of the reals
+Normal rank
@@ Property / cites work @@
+Exotic quantifiers, complexity classes, and complete problems
+Normal rank
@@ Property / cites work @@
+Q5792485
@@ Property / cites work: Q5792485 / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithms in real algebraic geometry
@@ Property / cites work: Algorithms in real algebraic geometry / rank @@
+Normal rank
@@ Property / cites work @@
+The Art Gallery Problem is ∃ℝ-complete
@@ Property / cites work: The Art Gallery Problem is ∃ℝ-complete / rank @@
+Normal rank
@@ Property / cites work @@
+The Complexity of Angular Resolution
@@ Property / cites work: The Complexity of Angular Resolution / rank @@
+Normal rank
@@ Property / cites work @@
+On the computational complexity of decision problems about multi-player Nash equilibria
+Normal rank
@@ Property / cites work @@
+Some provably hard crossing number problems
@@ Property / cites work: Some provably hard crossing number problems / rank @@
+Normal rank
@@ Property / cites work @@
+Intersection graphs of segments
@@ Property / cites work: Intersection graphs of segments / rank @@
+Normal rank
@@ Property / cites work @@
+Q3819622
@@ Property / cites work: Q3819622 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3974991
@@ Property / cites work: Q3974991 / rank @@
+Normal rank
@@ Property / cites work @@
+Read-once polynomial identity testing
@@ Property / cites work: Read-once polynomial identity testing / rank @@
+Normal rank
@@ Property / cites work @@
+Real addition and the polynomial hierarchy
@@ Property / cites work: Real addition and the polynomial hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+COMPLEXITY AND REAL COMPUTATION: A MANIFESTO
@@ Property / cites work: COMPLEXITY AND REAL COMPUTATION: A MANIFESTO / rank @@
+Normal rank
@@ Property / cites work @@
+On a theory of computation and complexity over the real numbers: 𝑁𝑃- completeness, recursive functions and universal machines
+Normal rank
@@ Property / cites work @@
+Counting complexity classes for numeric computations. II: Algebraic and semialgebraic sets
+Normal rank
@@ Property / cites work @@
+Polynomial hierarchy, Betti numbers, and a real analogue of Toda's theorem
+Normal rank
@@ Property / cites work @@
+Effective Łojasiewicz inequalities in semialgebraic geometry
+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 minimum of a positive polynomial over the standard simplex
+Normal rank
@@ Property / cites work @@
+Ultimate Positivity is Decidable for Simple Linear Recurrence Sequences
+Normal rank
@@ Property / cites work @@
+Realizability of Graphs and Linkages
@@ Property / cites work: Realizability of Graphs and Linkages / rank @@
+Normal rank
@@ Property / cites work @@
+Q4821526
@@ Property / cites work: Q4821526 / rank @@
+Normal rank
@@ Property / cites work @@
+The real dimension problem is \(\text{NP}_{\mathbb R}\)-complete.
+Normal rank
@@ Property / cites work @@
+Generalizations of matched CNF formulas
@@ Property / cites work: Generalizations of matched CNF formulas / rank @@
+Normal rank
@@ Property / cites work @@
+Computing the real isolated points of an algebraic hypersurface
+Normal rank
@@ Property / cites work @@
+Q4407449
@@ Property / cites work: Q4407449 / rank @@
+Normal rank
@@ Property / cites work @@
+An exact duality theory for semidefinite programming and its complexity implications
+Normal rank
@@ Property / cites work @@
+Semidefinite programming and combinatorial optimization
+Normal rank
@@ Property / cites work @@
+On the Complexity of Numerical Analysis
@@ Property / cites work: On the Complexity of Numerical Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Smoothing the Gap Between NP and ER
@@ Property / cites work: Smoothing the Gap Between NP and ER / rank @@
+Normal rank