Some Results on Interactive Proofs for Real Computations (Q3195685): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-319-20028-6_11
+Normal rank
@@ Property / OpenAlex ID @@
+W1167885226
@@ Property / OpenAlex ID: W1167885226 / rank @@
+Normal rank
@@ Property / cites work @@
+Computational Complexity
@@ Property / cites work: Computational Complexity / rank @@
+Normal rank
@@ Property / cites work @@
+The PCP theorem for NP over the reals
@@ Property / cites work: The PCP theorem for NP over the reals / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial hierarchy, Betti numbers, and a real analogue of Toda's theorem
+Normal rank
@@ Property / cites work @@
+Counting Complexity Classes for Numeric Computations I: Semilinear Sets
+Normal rank
@@ Property / cites work @@
+Counting complexity classes for numeric computations. II: Algebraic and semialgebraic sets
+Normal rank
@@ Property / cites work @@
+On the Complexity of Quantifier Elimination: the Structural Approach
+Normal rank
@@ Property / cites work @@
+A note on parallel and alternating time
@@ Property / cites work: A note on parallel and alternating time / rank @@
+Normal rank
@@ Property / cites work @@
+Interactive protocols over the reals
@@ Property / cites work: Interactive protocols over the reals / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic methods for interactive proof systems
@@ Property / cites work: Algebraic methods for interactive proof systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4729767
@@ Property / cites work: Q4729767 / rank @@
+Normal rank
@@ Property / cites work @@
+IP = PSPACE
@@ Property / cites work: IP = PSPACE / rank @@
+Normal rank