The TPS Theorem Proving System.
Peter B. AndrewsSunil IssarDaniel NesmithFrank PfenningPublished in: CADE (1988)
Keyphrases
- theorem proving
- theorem prover
- automated deduction
- inference rules
- term rewriting
- first order logic
- decision procedures
- automatic programming
- thin plate spline
- proof planning
- automated reasoning
- parallel search
- proof procedure
- consequence finding
- automated theorem proving
- logical inference
- geometry theorem proving
- predicate calculus
- control points
- combinatorial search