Multi-Prover Interactive Proofs: Unsound Foundations.
Claude CrépeauNan YangPublished in: IACR Cryptol. ePrint Arch. (2017)
Keyphrases
- theorem proving
- theorem prover
- automated theorem proving
- artificial intelligence
- highly interactive
- proof search
- graphical interface
- inference rules
- equational theories
- decision procedures
- computer graphics
- user interaction
- logic programs
- artificial neural networks
- bayesian networks
- three dimensional
- web services
- information systems