首页> 中文期刊>科学技术与工程 >平面几何命题机器证明的Gr(o)bner基方法

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《科学技术与工程》|2006年第21期|3491-3493|共3页
作者
赵雪芝;
展开▼
作者单位

广东商学院数学系,广州,510320;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算技术、计算机技术;
关键词
几何命题; 机器证明; Gr(o)bnera基;
入库时间 2022-08-18 10:26:08

相似文献

中文文献
外文文献
专利

1. Grobner基方法与吴方法在平面几何定理机器证明中的应用与比较 [J] . 严佟然 ,李晓霞 . 海南大学学报（自然科学版） . 2004,第002期
2. 特征列、Grbner基和良性基方法的实施、比较和改进 [J] . 李兆丽 ,丰晓 . 山东大学学报：理学版 . 2008,第4期
3. 基于GrO^{¨bner基方法的乘法器等价性验证} [J] . 张璇思 ,刘佳姝 ,江建国 . 应用数学进展 . 2021,第1期
4. Gro^{¨ bner基方法验证乘法器的Maple实现} [J] . 刘佳姝 ,张璇思 ,江建国 . 应用数学进展 . 2020,第11期
5. 构造过渡代数曲线的Gr(o)bner基方法 [J] . 李悦 ,孙永利 ,于建平 . 北京化工大学学报（自然科学版） . 2013,第0z1期
6. 基于Gr(o)bner基的纠错码译码方法 [C] . 李耀辉 ,吴涛 ,赵海豹 . 2010年全国理论计算机科学学术年会 . 2010
7. 构造性和非构造性几何命题证明方法 [A] . 沈盈 . 2008

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号