A Multi-prover Interactive Proof for NEXP Sound against Entangled Provers.

Tsuyoshi Ito Thomas Vidick

Published in: FOCS (2012)

Keyphrases

theorem prover
theorem proving
proof search
automated theorem proving
first order logic
inference rules
natural deduction
computer algebra
linear logic
proof procedure
mathematical proofs
bayesian networks
user friendly
interactive systems
search procedure
data visualization
computer vision