Quantum Versus Classical Proofs and Advice

Scott Aaronson Greg Kuperberg

Published in: CoRR (2006)

Keyphrases

quantum computation
quantum mechanics
real time
theorem proving
databases
objective function
quantum computing
cut elimination
formal proof