不等式的分拆降维幂方法与可读证明

【书名】 不等式的分拆降维幂方法与可读证明
【作者】 陈胜利
【出版社】 哈尔滨哈尔滨工业大学出版社
【出版时间】 2016.01
【关键词】 不等式计算机辅助计算
【摘要描述】 本书系统总结了作者及其合作者近十年来在不等式数学机械化领域的一系列研究成果及其软件实现是基于作者提出的分拆降维降幂综合等算法原理而开发的具有自动发现功能的新颖的不等式证明软件,适用于一般代数式乃至任意维数、任意次数的多项式的半正定判定及最优化问题。
【中国图书分类号】 O178

在线工具导航