Keyphrases
- theorem prover
- theorem proving
- automated reasoning
- first order logic
- term rewriting
- automated deduction
- inference rules
- automated theorem proving
- computer algebra
- general purpose
- programming language
- higher order logic
- boolean algebra
- natural deduction
- formal semantics
- formal proof
- timed automata
- distributed memory machines
- highly optimized
- code generation
- computer algebra systems
- machine learning
- software systems
- graphical models
- proof planning
- decision trees
- artificial intelligence
- mathematical knowledge