A multi-prover interactive proof for NEXP sound against entangled provers.

Tsuyoshi Ito Thomas Vidick

Published in: Electron. Colloquium Comput. Complex. (2012)

Keyphrases

theorem prover
theorem proving
proof search
automated theorem proving
inference rules
first order logic
linear logic
natural deduction
computer algebra
computer graphics
proof procedure
mathematical proofs
neural network
user interaction
case study
decision making
machine learning