Keyphrases
- theorem prover
- theorem proving
- automated theorem proving
- data mining
- special case
- geometry theorem proving
- mathematical proofs
- automated theorem provers
- proof planning
- proof search
- linear logic
- real time
- expert systems
- three dimensional
- decision trees
- metadata
- learning algorithm
- information retrieval
- neural network
- databases