| Grobner基方法与吴方法在平面几何定理机器证明中的应用与比较 |
| |
| 引用本文： | 严佟然,李晓霞.Grobner基方法与吴方法在平面几何定理机器证明中的应用与比较[J].海南大学学报(自然科学版),2004,22(2):111-115. |
| |
| 作者姓名： | 严佟然 李晓霞 |
| |
| 作者单位： | 广州市荔湾电视大学,计算机系,广东,广州,510150;广州大学,软件所,广东,广州,510405 |
| |
| 摘 要： | 探讨了在初等平面几何范围内定理机器证明切实可行的2种方法:Grobner基方法与吴方法,介绍了它们相应的算法原理和实现方法,并进行了实践与比较.
|
| 关 键 词： | 几何定理机器证明 吴方法 Grobner基方法 特征列 余集 标准形 机械化 |
| 文章编号： | 1004-1729(2004)02-0111-05 |
| 修稿时间： | 2003年4月23日 |
Application and Comparison of Wu Method and Grobner Basis Method in Mechanical Proving of Plane Geometry Theoerm |
| |
| YAN Tong-shan,LI Xiao-xia.Application and Comparison of Wu Method and Grobner Basis Method in Mechanical Proving of Plane Geometry Theoerm[J].Natural Science Journal of Hainan University,2004,22(2):111-115. |
| |
| Authors: | YAN Tong-shan LI Xiao-xia |
| |
| Institution: | YAN Tong-shan~1,LI Xiao-xia~2 |
| |
| Abstract: | |
| |
| Keywords: | mechanical proving of geometry theorem Wu-method Grobner basis-method characteristic set remainder set normal form |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
