Using Entanglement in Quantum Multi-Prover Interactive Proofs.

Julia Kempe Hirotada Kobayashi Keiji Matsumoto Thomas Vidick

Published in: Comput. Complex. (2009)

Keyphrases

theorem proving
theorem prover
proof search
automated theorem proving
databases
virtual reality
website
interactive learning
data sets
formal proofs
equational theories
user interaction
user friendly
inference rules
case study
decision procedures
interactive systems
image processing