Using Entanglement in Quantum Multi-prover Interactive Proofs.
Julia KempeHirotada KobayashiKeiji MatsumotoThomas VidickPublished in: Computational Complexity Conference (2008)
Keyphrases
- theorem proving
- theorem prover
- automated theorem proving
- user friendly
- computer graphics
- formal proof
- first order logic
- virtual reality
- formal proofs
- information retrieval
- proof search
- interactive exploration
- highly interactive
- decision procedures
- probabilistic model
- data analysis
- image sequences
- multimedia
- computer vision