机译:通过有理系数的有理函数的平方和进行全局多项式优化的精确证明
Department of Mathematics, North Carolina State University, Raleigh, NC 27695-8205, USA;
Key Lab of Mathematics Mechanization, AMSS, Beijing 100080, China;
Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai 200062, China;
Key Lab of Mathematics Mechanization, AMSS, Beijing 100080, China;
semidefinite programming; sum-of-squares; validated output; hybrid method;
机译:具有合理系数的全球渐近稳定的多项式矢量场,没有局部多项式Lyapunov函数
机译:具有合理系数的全球渐近稳定的多项式矢量场,没有局部多项式Lyapunov函数
机译:胶态固体球在静态液体中平行于滑气液界面移动的阻力系数的精确和全局有理近似表达式
机译:通过使用浮点标量对平方和进行合理化来精确证明近似分解的全局最优性
机译:数字代数几何中的精确平方和证书。
机译:用有理多项式模型替换考虑大气传播延迟的星载合成孔径雷达距离多普勒方程的可行性
机译:通过有理系数的有理函数的平方和进行全局多项式优化的精确证明
机译:建模,分析和模拟:有理函数的全局优化:半定规划方法