【摘要】 探讨了初等平面几何命题机器证明的Grbner基方法,并给出了它的算法原理和实现方法,且通过实例说明了该方法简便易懂,用Maple实现也较易。更多还原

【Abstract】 The principle, its realization of arithmetic of Grbner basis-method to prove mechanically plane geometry theorem was given. Its feasibility was also proved by some examples.更多还原