A PCP of proximity for real algebraic polynomials

DOI10.1007/978-3-030-79416-3_16OpenAlexW3176064637MaRDI QIDQ2117096

Klaus Meer

Publication date: 21 March 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-79416-3_16

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites Work

• Unnamed Item
• Unnamed Item
• On the power of two-point based sampling
• The PCP theorem for NP over the reals
• An algebraic proof of the real number PCP theorem
• Recent Advances in Real Complexity and Computation
• Almost Transparent Short Proofs for NPℝ
• Proof verification and the hardness of approximation problems
• Interpolation Processes
• Probabilistic checking of proofs
• COMPLEXITY AND REAL COMPUTATION: A MANIFESTO
• Introduction to Property Testing
• Robust PCPs of Proximity, Shorter PCPs, and Applications to Coding
• The PCP theorem by gap amplification