Interactive proofs and a Shamir-like result for real number computations
Crossref DOI link: https://doi.org/10.1007/s00037-018-0174-6
Published Online: 2018-11-07
Published Print: 2019-09
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Baartse, Martijn
Meer, Klaus
Text and Data Mining valid from 2018-11-07
Article History
Received: 28 August 2017
First Online: 7 November 2018