Keyphrases
- interactive theorem proving
- knowledge discovery
- theorem prover
- discovery process
- analogical reasoning
- statistical mechanics
- theorem proving
- association rules
- scientific discovery
- search algorithm
- data structure
- logic programs
- pattern discovery
- data mining
- optimal solution
- natural deduction
- mathematical proofs
- geometry theorem proving
- genetic algorithm