Grobner基方法与吴方法在平面几何定理机器证明中的应用与比较

Application and Comparison of Wu-Method and Grobner Basis-Method in Mechanical Proving of Plane Geometry Theoerm

探讨了在初等平面几何范围内定理机器证明切实可行的2种方法:Grobner基方法与吴方法,介绍了它们相应的算法原理和实现方法,并进行了实践与比较.

Two feasible methods—Grobner basis-method and Wu method are probed in this paper for proving theorem with machine within the elementary plane geometry.Their relevant algorithm principle and realizing method are introduced,and a comparison is conducted in practice.