利用改进的逐次分代换证明多项式正半定性

摘要：

近年来由杨路等提出了一种利用逐次差分代换以证明多项式非负性的方法,并在MAPLE平台编写了相应程序.但是, 对于某些多项式的非负性却无法在一定时间内给出有效证明.文章改进了逐次差分代换的判定方法, 可以较好的解决这一类问题.

关键词： 逐次差分代换 多项式拟合 正半定性 MAPLE平台 程序设计

作者: 穆传东 曾振柄

作者单位: 华东师范大学上海市高可信计算重点实验室,上海,200062

会议类型: 国内会议

会议名称: 2009年全国理论计算机科学学术年会

会议地点: 哈尔滨

会议语种:中文

页码: 1-4

在线出版日期: 2009-08-07（万方平台首次上网日期，不代表论文的发表时间）