节点文献
几何定理机器证明的结式矩阵法
THE SUB-RESULTANT METHOD FOR AUTOMATED THEOREM PROVING
【摘要】 本文提出了一种不必预先分解升列为不可约于列而克服所谓“可约性困难”的方法.由于使用了吴除法及子结式计算,我们也称这种方法为WR分解算法.
【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.
【基金】 国家自然科学基金
- 【文献出处】 系统科学与数学 ,JOURNAL OF SYSTEMS SCIENCE AND MATHEMATICAL SCIENCES , 编辑部邮箱 ,1995年01期
- 【分类号】O18
- 【被引频次】30
- 【下载频次】305