期刊文献+

单变元多项式正定性的一种判定方法

A Method to Verify the Polynomial Positive Definiteness
下载PDF
导出
摘要 本文利用斯图姆定理对参系数单变元多项式的实根个数加以判定,进一步给出了一种判定单变元多项式正定性的方法,并利用Maple软件编程实现了常系数情形下多项式正定性的自动判定。 On the base of Sturm theorem, the article talks about the verification of the numbers for real roots, and further expounds a certain method to verify the polynomial positive definiteness. And the paper also suggests that Maple software program is used to verify it automatically with the constant coefficient.
作者 闻建科
出处 《浙江工商职业技术学院学报》 2006年第2期55-57,共3页 Journal of Zhejiang Business Technology Institute
关键词 多项式Sturm定理 实根 正定性 polynomial Sturm Theorem real root positive definiteness
  • 相关文献

参考文献1

二级参考文献19

  • 1张景中,杨路,高小山,周咸青.几何定理可读证明的自动生成[J].计算机学报,1995,18(5):380-393. 被引量:22
  • 2杨路,Sci China A,1996年,39卷,6期,628页
  • 3杨路,非线性方程组与定理机器证明,1996年
  • 4Chou S C,Machine Proofs in Geometry,1994年
  • 5Chou S C,Proc CADE-12,1994年,401页
  • 6Chou S C,Automated Production of Readable Proofs for Theorems in Non-Euclidean Geometries, WUSCS-94-9,1994年
  • 7张景中,中国科学.A,1993年,10卷,1036页
  • 8匡继昌,常用不等式(第2版),1993年,138页
  • 9杨路,Proceedings of the 1992 International Workshop on Mathematics Mechanization,1992年,110页
  • 10杨路,Proceedings of the 1992 International Workshop on Mathematics Mechanization,1992年,244页

共引文献29

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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