Proof Generation in the Touchstone Theorem Prover.
George C. NeculaPeter LeePublished in: CADE (2000)
Keyphrases
- theorem prover
- automated theorem proving
- text generation
- theorem proving
- first order logic
- automated reasoning
- term rewriting
- computer algebra
- formal proof
- higher order logic
- inference rules
- proof search
- natural deduction
- automated deduction
- mathematical proofs
- mathematical knowledge
- boolean algebra
- proof planning
- formal semantics
- timed automata
- labeled data
- supervised learning
- genetic algorithm
- machine learning