Definedness Reasoning in Formal Mathematics and Theorem Proving.
Jonas BetzendahlPublished in: CICM Workshops (2019)
Keyphrases
- theorem proving
- computer algebra systems
- automated reasoning
- proof procedure
- logical inference
- theorem prover
- mathematical knowledge
- first order logic
- automated theorem proving
- decision procedures
- proof planning
- automated deduction
- formal models
- term rewriting
- inference rules
- parallel search
- reasoning tasks
- distributed search
- automatic programming
- consequence finding
- computer algebra
- geometry theorem proving
- predicate calculus
- probabilistic reasoning
- combinatorial search
- formal model
- abductive reasoning
- knowledge base
- model theoretic