6 search results - page 2 / 2 » Upper Bounds for Quantum Interactive Proofs with Competing P... |
CORR
2007
Springer
13 years 4 months ago
2007
Springer
—Real number calculations on elementary functions are remarkably difficult to handle in mechanical proofs. In this paper, we show how these calculations can be performed within a...