节点文献

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

THE SUB-RESULTANT METHOD FOR AUTOMATED THEOREM PROVING

  • 推荐 CAJ下载
  • PDF下载
  • 不支持迅雷等下载工具,请取消加速工具后下载。

【作者】 张景中杨路侯晓荣

【Author】 ZHANG JING-ZHONG;YANG LU ;HOU XIAO-RONG(Centre for Mathematical Sciences,CICA,Academia Sinica Chengdu Sichuan 610041)

【机构】 中国科学院成都计算机应用研究所数理科学中心

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

【关键词】 升列吴除法子结式
【Key words】 Ascending chainWu’s divisionsub-resultant.
【基金】 国家自然科学基金
  • 【文献出处】 系统科学与数学 ,JOURNAL OF SYSTEMS SCIENCE AND MATHEMATICAL SCIENCES , 编辑部邮箱 ,1995年01期
  • 【分类号】O18
  • 【被引频次】30
  • 【下载频次】305
节点文献中: 

本文链接的文献网络图示:

本文的引文网络