学科分类
/ 1
1 个结果
  • 简介:讨论了变元齐次多项式平方分拆算法,并编写了应用程序;给出了多项式SOS表示分拆项通用构造程序;带约束条件多项式不等式分拆证明进行了新探讨;众多例子表明算法和程序是实用而有效.

  • 标签: 多项式平方分拆 SOS表示 agl2012程序 机器证明