Quantum Versus Classical Proofs and Advice.

Scott Aaronson Greg Kuperberg

Published in: Electron. Colloquium Comput. Complex. (2006)

Keyphrases

quantum computation
quantum mechanics
theorem proving
quantum probability
natural deduction
neural network
image sequences
search algorithm
mobile devices
formal proof