期刊文献+

多项式方程组的组合结式方法初探 被引量:4

THE PRELIMINARY OF COMBINATION RESULTANT APPROACH ON POLYNOMIAL EQUATION SYSTEM
下载PDF
导出
摘要 提出了一种求解多项式方程组的新方法——组合结式方法.这种方法的计算复杂度低于目前其它系统的方法,如吴氏特征集方法。 The author gives a new approach for solving a polynomial equation system,that is Combination Resultant Approach.The computational complexity with this approach is less than other methods at present such as Wu’s elimination,Grobner basis approach and Dixon resultant approach.
作者 周加农
出处 《四川大学学报(自然科学版)》 CAS CSCD 北大核心 1999年第2期206-210,共5页 Journal of Sichuan University(Natural Science Edition)
基金 国家自然科学基金
关键词 吴法 多项式方程组 非线性代数方程 组合结式法 combination resultant Wu’s elimination Grobner basis Dixon resultant
  • 相关文献

参考文献4

  • 1张景中,杨路,侯晓荣.几何定理机器证明的WE完全方法[J].系统科学与数学,1995,15(3):200-207. 被引量:11
  • 2杨路,非线性代数方程组与定理机器证明,1996年
  • 3Kapur D,Proc of ISSAC’94,1994年
  • 4吴文俊,几何定理机器证明的基本原理.初等几何部分,1984年

二级参考文献16

  • 1张景中,杨路.定理机械化证明的数值并行法及单点例证法原理概述[J].数学的实践与认识,1989,19(1):34-43. 被引量:9
  • 2Chou S C,1989年
  • 3邓来克,科学通报,1988年,24期,1851页
  • 4吴文浚,数学年刊.A,1987年,2卷,2期,1页
  • 5高小山,系统科学与数学,1987年,7卷,3期,264页
  • 6Li Ziming,1987年
  • 7Liu Zhuojun,1987年
  • 8Chou S C,Mechanical geometry thorem proving,1987年
  • 9吴文俊,Chin Sci Bull,1986年,31卷,1页
  • 10吴文俊,Chin Sci Bull,1986年,31卷,150页

共引文献10

同被引文献20

  • 1张景中,杨路,侯晓荣.几何定理机器证明的WE完全方法[J].系统科学与数学,1995,15(3):200-207. 被引量:11
  • 2张景中 杨路 等.-[J].中国科学A,1993,10:1036-1042.
  • 3周加农,四川大学学报,1999年,36卷,2期,206页
  • 4杨路,非线性代数方程组与定理机器证明,1996年
  • 5Kapur D,Proc ISSAC’94,1994年,99页
  • 6张景中,中国科学.A,1993年,10卷,1036页
  • 7Yang L,MM-Preprins,No.9,1993年,115页
  • 8Yang Lu,Proc ’92 Int Workshop,1992年,110页
  • 9吴文俊,几何定理机器证明的基本原理.初等几何部分,1984年
  • 10吴文俊.几何定理机器证明的基本原理[M]{H}北京:科学出版社,1984.

引证文献4

二级引证文献8

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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