未找到相关数据
几何定理机器证明的WE完全方法
被引：7
作者：
张景中，杨路，侯晓荣
机构：
[1] 中国科学院成都计算机应用研究所
来源：
关键词：
机器证明，完全方法，辗转伪除法;
D O I：
暂无
中图分类号：
O181 [几何基础（几何学原理）];
学科分类号：
0701 ;
070101 ;
摘要：
在几何定理机器证明的各种方法中，吴氏方法获得了显著的成功．如预先把有关代数簇分解为不可约簇，则吴氏方法可成为完全方法．本文在吴法的基础上，以辗转伪除法为辅助工具，发展出一种不必预先分解代数簇的完全方法，并给出一些手算实例．
引用
收藏
页码：200 / 207
页数：8
相关论文