Keyphrases
- algebraic structure
- higher order
- algebraic geometry
- machine learning
- theorem proving
- equational theories
- mathematical formulas
- natural deduction
- query language
- theorem prover
- evolutionary algorithm
- decision procedures
- image processing
- knowledge base
- logical formulas
- proof search
- information systems
- data mining
- algebraic expressions
- database