Interactive proofs with approximately commuting provers.
Matthew CoudronThomas VidickPublished in: CoRR (2015)
Keyphrases
- theorem proving
- theorem prover
- proof search
- interactive learning
- highly interactive
- user friendly
- e learning
- user interaction
- first order logic
- inference rules
- mathematical knowledge
- database
- interactive exploration
- interactive video
- product configuration
- decision procedures
- virtual reality
- relational databases
- image processing
- computer vision
- real world
- data sets