平面几何命题机器证明的Grbner基方法

作者：赵雪芝

来源：科学技术与工程, 2006, (21): 3491-3493.

• 几何命题
• 机器证明
• Grbnera基

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

• 单位
  广东财经大学