TY - GEN A1 - Baartse, Martijn A1 - Meer, Klaus T1 - Interactive proofs and a Shamir-like result for real number computations T2 - Computational Complexity Y1 - 2018 UR - https://opus4.kobv.de/opus4-UBICO/frontdoor/index/index/docId/22629 SN - 1016-3328 SN - 1420-8954 ER -