Research of Geometry Language Formalization Based on the Wu-method

The geometry language's formalization finally produces a group of expression, in fact, it is the geometric object and the relations in the computer internal value description, also realizes the above data structure physical memory. Collect and classify all the geometry knowledge in a certain category (including objects, relations, theorems, questions and so on), to carry on the decomposition, classification and refinement exhaustively, and then, abstracts the smallest element of the geometry knowledge, according to “the Wu-method” the mechanized thought establishment formalization's geometry knowledge data structure storehouse. It realizes the geometry proposition relations to be able finally to describe using the algebraic equation.