利用改进的逐次分代换证明多项式正半定性
穆传东
曾振柄
1.华东师范大学上海市高可信计算重点实验室,上海,2000622.华东师范大学上海市高可信计算重点实验室,上海,200062
摘要：近年来由杨路等提出了一种利用逐次差分代换以证明多项式非负性的方法, 并在MAPLE平台编写了相应程序.但是, 对于某些多项式的非负性却无法在一定时间内给出有效证明.文章改进了逐次差分代换的判定方法, 可以较好的解决这一类问题.
关键词：逐次差分代换正半定性
分类号：TP301.6(计算技术、计算机技术)
资助基金：国家自然科学基金(90718041)
论文发表日期：2009-01-01
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：4( 1-4 )
英文信息