A Generic Approach to Building User Interfaces for Theorem Provers.
Yves BertotLaurent ThéryPublished in: J. Symb. Comput. (1998)
Keyphrases
- theorem prover
- user interface
- theorem proving
- automated reasoning
- first order logic
- computer algebra
- automated theorem proving
- inference rules
- higher order logic
- timed automata
- user friendly
- automated deduction
- knowledge base
- term rewriting
- proof search
- lower layers
- natural deduction
- formal semantics
- user experience
- random variables
- domain specific
- active learning
- bayesian networks