Vectorial Equations Solving for Mechanical Geometry Theorem Proving

摘要

In this paper a new method is proposed for mechanical geometry theorem proving. It combines vectorial equations solving in Clifford algebra formalism with Wu's method. The proofs produced have significantly enhanced geometric meaning and fewer nongeometric nondegeneracy conditions.