The Projection of Quasi Variety and Its Application on Geometric Theorem Proving and Formula Deduction.
XueFeng ChenDingKang WangPublished in: Automated Deduction in Geometry (2002)
Keyphrases
- theorem proving
- geometry theorem proving
- automated deduction
- theorem prover
- automated theorem proving
- first order logic
- proof procedure
- automated reasoning
- inference rules
- decision procedures
- automatic programming
- parallel search
- term rewriting
- combinatorial search
- proof planning
- logical inference
- proof search
- data mining
- predicate calculus
- consequence finding
- distributed search
- boolean functions
- intelligent agents
- graphical models
- bayesian networks