Mechanical geometry theorem proving based on Groebner bases

摘要

A new method for the mechanical elementary geometry theorem proving is presented by using Groebner bases of polynomial ideals. It has two main advantages over the approach proposed in literature: (ⅰ) It is complete and not a refutational procedure; (ⅱ) The subcases of the geometry statements which are not generally true can be differentiated clearly.