A multi-prover interactive proof for NEXP sound against entangled provers
Tsuyoshi ItoThomas VidickPublished in: CoRR (2012)
Keyphrases
- theorem prover
- theorem proving
- proof search
- automated theorem proving
- inference rules
- natural deduction
- first order logic
- linear logic
- computer algebra
- real time
- data analysis
- user interaction
- user friendly
- search procedure
- mathematical proofs
- proof procedure
- graphical interface
- computer graphics
- logic programs
- knowledge base
- computer vision