Keyphrases
- mathematical proofs
- automated theorem provers
- mathematical knowledge
- theorem proving
- theorem prover
- color vision
- computer algebra
- automated theorem proving
- special case
- databases
- natural language
- cognitive processes
- mathematical expressions
- decision trees
- information systems
- machine learning
- digital libraries
- expert systems
- probabilistic model
- mathematical modeling
- knowledge base