Mechanical Theorem Proving in the Local Theory of Surfaces.
Ziming LiPublished in: Ann. Math. Artif. Intell. (1995)
Keyphrases
- theorem proving
- theorem prover
- decision procedures
- first order logic
- automated deduction
- term rewriting
- equational theories
- proof planning
- inference rules
- automatic programming
- parallel search
- automated reasoning
- automated theorem proving
- consequence finding
- proof procedure
- logical inference
- geometry theorem proving
- proof search
- probabilistic model
- predicate calculus
- modal logic