Quantum Interactive Proofs with Competing Provers

Gus Gutoski John Watrous

Published in: CoRR (2004)

Keyphrases

theorem prover
theorem proving
user friendly
real time
decision procedures
proof search
multi agent
virtual reality
first order logic
inference rules
natural deduction
interactive exploration
equational theories