Some Results on Interactive Proofs for Real Computations.

Martijn Baartse, Klaus Meer

Browse the full CiE paper archive.