[书籍] 不等式的分拆降维降幂方法与可读证明
出版社:
哈尔滨工业大学出版社
简介:
《不等式的分拆降维降幂方法与可读证明》系统总结了作者及其合作者近十年来在不等式数学机械化领域的一系列研究成果及其软件（SCHUR01）实现。SCHUR01是基于作者提出的“分拆一降维一降幂一综合”等算法原理而开发的具有自动发现功能的新颖的不等式证明软件，适用于一般代数式乃至任意维数、任意次数的多项式的半正定判定及优化问题。SCHUR01对于对称式尤为高效。并且从整体上是可读的。把《不等式的分拆降维降幂方法与可读证明》与SCHUR01结合起来阅读使用可使读者对于不等式的机器证明过程及其理论依据有深入的理解。
用户推荐(0)
暂无推荐，你也可以发布推荐哦:)
0
人收藏了这本书籍
广告
登录 | 立即注册