Keyphrases
- theorem proving
- formal proof
- mathematical formulas
- theorem prover
- formal proofs
- information systems
- mathematical proofs
- equational theories
- decision procedures
- inference rules
- computational complexity
- artificial intelligence
- genetic algorithm
- algebraic curves
- mathematical knowledge
- machine learning
- real world
- databases