期刊文献+

有理数域上二元多项式正半定性的判定 被引量:5

DETERMINATION ON POSITIVE SEMI DEFINITE OF BINARY POLYNOMIALS OVER RATIONALS
下载PDF
导出
摘要 [1]对符号系数多项式的根的分类给出了完全的判别系统。本文利用[1]的结果,给出了有理数域上二元多项式正半定性的完全判别方法,其有效性已在计算机实现中得到验证。 gives a complete discrimination system for root classification of polynomials with symbolic/literal coefficients.By using results in ,this paper gives a complete determination on positive semi definite of binary polynomials over rationals,and its efficiency was demonstrated by computer implementation.
出处 《计算机应用》 CSCD 1998年第3期28-29,共2页 journal of Computer Applications
关键词 多项式 判别式域论 正半定性 有理数域 Polynomial,Discriminant sequence,Positive semi definite,Sample point
  • 相关文献

参考文献1

  • 1Yang L,中国科学.E,1996年,39卷,6期,628页

同被引文献10

  • 1张景中,杨路,侯晓荣.几何定理机器证明的结式矩阵法[J].系统科学与数学,1995,15(1):10-15. 被引量:11
  • 2杨路,侯晓荣,曾振柄.多项式的完全判别系统[J].中国科学(E辑),1996,26(5):424-441. 被引量:31
  • 3[1]B.F.Caviness,J.R. J ohnson(eds.). Ouantifier Elimination and Cylindrical Algebraic Decomposition[M]. Springer,1998.
  • 4[5]Nathant Jacobson. Basic Algebra I, W. H[M]. Freeman and Company, 1980.
  • 5Yang Lu,Sci China E,1996年,39卷,6期,628页
  • 6杨路,非线性代数方程组与定理机器证明,1996年
  • 7Wu Wenda,MM-preprints,1989年,3卷,33页
  • 8Gao Xiaoshan,MM-preprints,1987年,1卷,13页
  • 9Wang Dongming,MM-preprintsM,1987年,2卷,68页
  • 10Yang Lu,Sci China E,1996年,39卷,6期,628页

引证文献5

二级引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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