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

书籍简介:

本书系统总结了作者及其合作者近十年来在不等式数学机械化领域的一系列研究成果及其软件(SCHUR01)实现。SCHUR01是基于作者提出的“分拆—降维—降幂—综合”等算法原理开发的具有自动发现功能的新颖的不等式证明软件，适用于一般代数式乃至任意维数任意次数的多项式的半正定判定及最优化问题(对于对称式尤为高效)，并且从整体上是可读的。把本书与SCHUR01结合起来阅读使用可使读者对于不等式的机器证明过程及其理论依据有更为深入的理解。本书适合大中师生及数学爱好者阅读使用。

书籍规格:

书籍信息归属:

不等式的分拆降维降幂方法与可读证明是哈尔滨工业大学出版社于2020.7出版的中图分类号为 O178-39 的主题关于 不等式－计算机辅助计算－应用软件 的书籍。