The TPS Theorem Proving System.
Peter B. AndrewsSunil IssarDan NesmithFrank PfenningPublished in: CADE (1990)
Keyphrases
- theorem proving
- first order logic
- inference rules
- term rewriting
- decision procedures
- theorem prover
- automated reasoning
- automated theorem proving
- consequence finding
- thin plate spline
- automatic programming
- logical inference
- proof procedure
- parallel search
- automated deduction
- proof planning
- control points
- geometry theorem proving
- probability distribution
- distributed search
- natural deduction
- proof search
- equational theories