Geometry theorem proving by decomposition of quasi-algebraic sets: An application of the ritt-wu principle

摘要

We use differences of two algebraic sets, called quasi-algebraic sets, to represent various geometrical properties. To determine the truth value of a geometry statement, we use the Ritt-Wu Principle to decompose the corresponding algebraic difference set into disjoint triangular quasi-algebraic sets, and then examine properties of elements of these triangular quasi-algebraic sets.