| 几何定理机器证明的结式矩阵法 |
| |
| 引用本文： | 张景中.几何定理机器证明的结式矩阵法[J].系统科学与数学,1995,15(1):010-015. |
| |
| 作者姓名： | 张景中 |
| |
| 作者单位： | 中国科学院成都计算机应用研究所数理科学中心 |
| |
| 摘 要： | 本文提出了一种不必预先分解升列为不可约于列而克服所谓“可约性困难”的方法．由于使用了吴除法及子结式计算，我们也称这种方法为ＷＲ分解算法．
|
| 关 键 词： | 升列，吴除法，子结式 |
THE SUB-RESULTANT METHOD FOR AUTOMATED THEOREM PROVING |
| |
| ZHANG JING-ZHONG,YANG LU,HOU XIAO-RONG.THE SUB-RESULTANT METHOD FOR AUTOMATED THEOREM PROVING[J].Journal of Systems Science and Mathematical Sciences,1995,15(1):010-015. |
| |
| Authors: | ZHANG JING-ZHONG YANG LU HOU XIAO-RONG |
| |
| Institution: | (1)Centre for Mathematical Sciences,CICA,Academia Sinica Chengdu Sichuan 610041;(2)Centre for Mathematical Sciences,CICA,Academia Sinica Chengdu Sichuan 610041;(3)Centre for Mathematical Sciences,CICA,Academia Sinica Chengdu Sichuan 610041 |
| |
| Abstract: | In this paper, we present a method, with which ascending chains need not be factorized beforehand, to overcome the so-called "reducibility difficulty".Employing Wu's division and sub-resultant computations,we call it WR decomposition algorithm. |
| |
| Keywords: | Ascending chain Wu's division sub-resultant |
| 本文献已被 CNKI 等数据库收录！ |
| 点击此处可从《系统科学与数学》浏览原始摘要信息 |
| 点击此处可从《系统科学与数学》下载免费的PDF全文 |
