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

• 作者: 赵雪芝
• 来源期刊: 科学技术与工程
• 学科: 工学
• 关键词: 几何命题 机器证明 Gr(o)bnera基
• 年，卷（期）: 2006,（21）
• 所属期刊栏目: 研究简报
• 页码范围: 3491-3493
• 页数: 3页
• 分类号: TP3
• 字数: 1787字
• 语种: 中文
• DOI: 10.3969/j.issn.1671-1815.2006.21.030

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	赵雪芝	广东商学院数学系	8	3	1.0	1.0