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

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