Interactive Proofs with Approximately Commuting Provers.
Matthew CoudronThomas VidickPublished in: ICALP (1) (2015)
Keyphrases
- theorem prover
- theorem proving
- user friendly
- proof search
- case study
- interactive video
- three dimensional
- mathematical proofs
- first order logic
- virtual reality
- mobile robot
- expert systems
- user interaction
- interactive learning
- decision procedures
- interactive systems
- highly interactive
- information systems
- social networks
- formal proof
- equational theories
- machine learning