Citius altius fortius: Lessons learned from the Theorem Prover WALDMEISTER.
Thomas HillenbrandPublished in: Electron. Notes Theor. Comput. Sci. (2003)
Keyphrases
- lessons learned
- theorem prover
- theorem proving
- case study
- future directions
- automated reasoning
- term rewriting
- first order logic
- computer algebra
- inference rules
- higher order logic
- automated theorem proving
- timed automata
- grounded theory
- formal proof
- natural deduction
- real world
- proof search
- boolean algebra
- active learning
- data sets
- computer algebra systems