Proceedings of the Fifth Workshop on Proof eXchange for Theorem Proving, PxTP 2017, Brasília, Brazil, 23-24 September 2017.
Published in: PxTP (2017)
Keyphrases
- theorem proving
- theorem prover
- first order logic
- automated theorem proving
- geometry theorem proving
- proof procedure
- automated reasoning
- proof planning
- automated deduction
- decision procedures
- inference rules
- term rewriting
- proof search
- parallel search
- international conference
- consequence finding
- distributed search
- computer algebra
- logical inference
- natural deduction
- combinatorial search
- predicate calculus
- mathematical knowledge
- automatic programming
- search algorithm
- integer arithmetic
- semi supervised