@misc{BaartseMeer2018, author = {Martijn Baartse and Klaus Meer}, title = {Interactive proofs and a Shamir-like result for real number computations}, booktitle = {Computational Complexity}, issn = {1016-3328}, doi = {10.1007/s00037-018-0174-6}, institution = {FG Theoretische Informatik}, type = {articler}, pages = {33}, year = {2018}, }