Interactive protocols over the reals
From MaRDI portal
Publication:1587345
DOI10.1007/s000370050003zbMath0962.68113OpenAlexW2249021138MaRDI QIDQ1587345
Michel de Rougemont, Sergei Ivanov
Publication date: 20 November 2000
Published in: Computational Complexity (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s000370050003
Specification and verification (program logics, model checking, etc.) (68Q60) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Theory of computing (68Q99)
Related Items (2)
Some Results on Interactive Proofs for Real Computations ⋮ Interactive proofs and a Shamir-like result for real number computations
This page was built for publication: Interactive protocols over the reals