The complexity of local dimensions for constructible sets (Q1977150): Difference between revisions

@@ Property / cites work @@
+Arthur-Merlin games: A randomized proof system, and a hierarchy of complexity classes
+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 @@
+Does co-NP have short interactive proofs ?
@@ Property / cites work: Does co-NP have short interactive proofs ? / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithm of polynomial complexity for factoring polynomials and finding the components of varieties in subexponential time
+Normal rank
@@ Property / cites work @@
+Polynomial-time computation of the dimensions of components of algebraic varieties in zero-characteristic
+Normal rank
@@ Property / cites work @@
+Q3973337
@@ Property / cites work: Q3973337 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4850731
@@ Property / cites work: Q4850731 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4143433
@@ Property / cites work: Q4143433 / rank @@
+Normal rank
@@ Property / cites work @@
+Definability and fast quantifier elimination in algebraically closed fields
+Normal rank
@@ Property / cites work @@
+Q4231918
@@ Property / cites work: Q4231918 / rank @@
+Normal rank
@@ Property / cites work @@
+Hilbert's Nullstellensatz is in the polynomial hierarchy
+Normal rank
@@ Property / cites work @@
+Elimination of parameters in the polynomial hierarchy
+Normal rank
@@ Property / cites work @@
+Sharp Effective Nullstellensatz
@@ Property / cites work: Sharp Effective Nullstellensatz / rank @@
+Normal rank
@@ Property / cites work @@
+Q4717965
@@ Property / cites work: Q4717965 / rank @@
+Normal rank