Real interactive proofs for VPSPACE

DOI10.4230/LIPICS.MFCS.2016.14MaRDI QIDQ4608572zbMATH OpenOpenAlexFDO

Authors Martijn Baartse, Klaus Meer

Publication date 21 March 2018

Full work available at URL https://doi.org/10.4230/LIPIcs.MFCS.2016.14

zbMATH Keywords

interactive proofsreal number computationShamir's theorem

Mathematics Subject Classification ID

Computation over the reals, computable analysis (03D78) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15)

Recommendations

• Interactive proofs and a Shamir-like result for real number computations
• Some results on interactive proofs for real computations
• Interactive protocols over the reals
• scientific article; zbMATH DE number 512981
• scientific article; zbMATH DE number 66620

Cited in

(4)

• Interactive protocols over the reals
• Interactive proofs and a Shamir-like result for real number computations
• Some results on interactive proofs for real computations
• A Survey on Analog Models of Computation

This page was built for publication: Real interactive proofs for VPSPACE

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4608572)