期刊文献+
共找到1篇文章
< 1 >
每页显示 20 50 100
关于5次对称形式正性的机器判定
1
作者 姚勇 冯勇 《系统科学与数学》 CSCD 北大核心 2008年第3期313-324,共12页
利用参系数多项式正实根的判别序列,给出了多变元5次对称形式在畔上取非负值的显示判定方法.并以此为依据,导出了一个有效的算法,能够在变元数较多时也可以使用计算机来自动判定.
关键词 正根的判别序列 5次对称形式 机器证明
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部