Quantum Multi Prover Interactive Proofs with Communicating Provers.
Michael Ben-OrAvinatan HassidimHaran PilpelPublished in: FOCS (2008)
Keyphrases
- theorem prover
- theorem proving
- proof search
- automated theorem proving
- inference rules
- first order logic
- formal proof
- natural deduction
- computer algebra
- decision procedures
- machine learning
- virtual reality
- communication channels
- mathematical proofs
- equational theories
- quantum computation
- interactive learning
- search procedure
- user interface
- mobile devices
- web services
- information systems