刘保乾 文家金 杨路 徐嘉 王挽澜

半正定多项式 BOTTEMA软件 逐次差分代换 符号算法 根式函数 不等式机器证明 全局优化 agl算法 机器证明 Schur-凸函数 平凡非负性 增量分拆法 多项式不等式 多项式 维数 差分代换平凡 幂平均 半正定 Hermite矩阵 多项式线性空间 拟单调函数 分拆 三角形几何不等式