Multi-prover Interactive Proofs: Unsound Foundations.
Claude CrépeauNan YangPublished in: Mycrypt (2016)
Keyphrases
- theorem proving
- theorem prover
- automated theorem proving
- artificial intelligence
- user friendly
- virtual reality
- data sets
- proof search
- graphical interface
- computer graphics
- multiscale
- interactive systems
- inference rules
- user interaction
- multi agent systems
- highly interactive
- database systems
- database
- mathematical proofs