The Matita Interactive Theorem Prover.
Andrea AspertiWilmer RicciottiClaudio Sacerdoti CoenEnrico TassiPublished in: CADE (2011)
Keyphrases
- theorem prover
- computer algebra systems
- first order logic
- term rewriting
- theorem proving
- automated deduction
- automated reasoning
- inference rules
- automated theorem proving
- computer algebra
- formal proof
- higher order logic
- timed automata
- computer graphics
- formal semantics
- boolean algebra
- proof search
- proof planning
- decision trees
- mathematical knowledge
- natural deduction
- predicate calculus
- user friendly
- programming language
- evolutionary algorithm
- feature space
- data mining