Login / Signup
On the Power of Quantum, One Round, Two Prover Interactive Proof Systems.
Alex Rapaport
Amnon Ta-Shma
Published in:
Quantum Inf. Process. (2007)
Keyphrases
</>
learning systems
theorem proving
distributed systems
computer systems
interactive systems
data mining
search engine
expert systems
retrieval systems
theorem prover
computer graphics
complex systems
power consumption
design tools