几何定理机器证明的结式矩阵法  

THE SUB-RESULTANT METHOD FOR AUTOMATED THEOREM PROVING

作　　者：张景中[1] 杨路[1] 侯晓荣[1] 

机构地区：[1]中国科学院成都计算机应用研究所数理科学中心

出　　处：《系统科学与数学》1995年第1期10-15,共6页Journal of Systems Science and Mathematical Sciences

基　　金：国家自然科学基金

摘　　要：本文提出了一种不必预先分解升列为不可约于列而克服所谓“可约性困难”的方法．由于使用了吴除法及子结式计算，我们也称这种方法为ＷＲ分解算法．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.

关 键 词：吴除法 子结式 几何定理 WR法 结式矩阵法 

分 类 号：O18[理学—数学]