Quantum Interactive Proofs with Competing Provers.

Gus Gutoski John Watrous

Published in: STACS (2005)

Keyphrases

theorem proving
theorem prover
proof search
quantum computation
computer graphics
virtual reality
user interaction
search algorithm
machine learning
data analysis
inference rules
graphical interface
highly interactive
interactive video
neural network
quantum inspired
formal proof
databases