《计算机学报》文章摘要   全文下载
文章题目	一类半正定多项式的平方和分解及其表达式的自动生成
作者	姚勇 冯勇
作者单位	(中国科学院成都计算机应用研究所 成都 610041)
发表年份	2006
发表月份	10期(1862—1868)
文章摘要	摘要 建立了一个把半正定稀疏多项式表为多项式平方和的算法.这一算法依赖于Hilbert第17问题的一系列经典研究结果以及实闭域上量词消去的柱形代数剖分算法.该算法的机器实现为一类代数不等式可读性证明的自动生成提供了一种非常自然的途径. 关键词 平方和分解;柱形代数剖分;Gram矩阵方法;Hilbert 17问题 国家“九七三”重点基础研究发展规划项目基金(2004CB318003)资助