A Fully Automatic Theorem Prover with Human-Style Output.
M. GanesalingamW. T. GowersPublished in: J. Autom. Reason. (2017)
Keyphrases
- fully automatic
- theorem prover
- fully automated
- semi automatic
- first order logic
- theorem proving
- inference rules
- term rewriting
- automated theorem proving
- formal proof
- mri data
- mathematical knowledge
- boolean algebra
- left ventricle
- natural deduction
- proof search
- data mining
- proof planning
- image segmentation
- artificial intelligence