期刊文献+

几何定理机器证明的结式矩阵法 被引量:11

THE SUB-RESULTANT METHOD FOR AUTOMATED THEOREM PROVING
原文传递
导出
摘要 本文提出了一种不必预先分解升列为不可约于列而克服所谓“可约性困难”的方法.由于使用了吴除法及子结式计算,我们也称这种方法为WR分解算法. 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.
出处 《系统科学与数学》 CSCD 北大核心 1995年第1期10-15,共6页 Journal of Systems Science and Mathematical Sciences
基金 国家自然科学基金
关键词 吴除法 子结式 几何定理 WR法 结式矩阵法 Ascending chain, Wu's division, sub-resultant.
  • 相关文献

参考文献5

  • 1杨路,Artificial intelligence in mathematics,1994年
  • 2Wu Wentsun,数学季刊,1987年,2卷,2期,1页
  • 3Chou Shangching,Mechanical Geometry Theorem Proving,1987年
  • 4吴文俊,几何定理机器证明的基本原理,1984年
  • 5Wu Wentsun,Sci Chin A,1978年,21卷,157页

同被引文献52

引证文献11

二级引证文献19

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部