Multi-Prover Interactive Proofs: How to Remove Intractability Assumptions
Michael Ben-OrShafi GoldwasserJoe KilianAvi WigdersonPublished in: STOC (1988)
Keyphrases
- theorem proving
- theorem prover
- automated theorem proving
- user interaction
- virtual reality
- np complete
- user friendly
- search algorithm
- first order logic
- efficient computation
- interactive learning
- mathematical proofs
- computer vision
- equational theories
- proof search
- simplifying assumptions
- highly interactive
- case study
- web services