Quantum versus Classical Proofs and Advice.

Scott Aaronson Greg Kuperberg

Published in: Computational Complexity Conference (2007)

Keyphrases

quantum computation
quantum mechanics
theorem proving
quantum computing
data sets
learning algorithm
multiscale
formal proof
theorem prover
mathematical proofs
database
probability ranking principle
quantum inspired
digital libraries
three dimensional
computer vision
real time