期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到1篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
Grobner基方法与吴方法在平面几何定理机器证明中的应用与比较 被引量：2
1
作者 严佟然 李晓霞 《海南大学学报（自然科学版）》 CAS 2004年第2期111-115,共5页
探讨了在初等平面几何范围内定理机器证明切实可行的2种方法:Grobner基方法与吴方法,介绍了它们相应的算法原理和实现方法,并进行了实践与比较.
关键词 几何定理机器证明 吴方法 gwbner基方法 特征列 余集 标准形 机械化 平面几何
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部