Keyphrases
- theorem proving
- theorem prover
- mathematical proofs
- formal proofs
- computational geometry
- equational theories
- multiresolution
- computer programs
- interactive theorem proving
- machine learning
- mathematical knowledge
- natural deduction
- automated theorem proving
- first order logic
- special case
- decision trees
- knowledge base
- decision making
- information retrieval