Keyphrases
- theorem proving
- theorem prover
- equational theories
- mathematical formulas
- higher order
- decision procedures
- algebraic curves
- natural deduction
- computer algebra
- mathematical expressions
- automated theorem provers
- linear time temporal logic
- formal proofs
- conjunctive normal form
- database
- mathematical theory
- first order logic
- case study
- data mining