MARC状态：审校 文献类型：中文图书 浏览次数：19
- 题名/责任者:
- 不等式的分拆降维降幂方法与可读证明/陈胜利著
- 版本说明:
- 2版
- 出版发行项:
- 哈尔滨:哈尔滨工业大学出版社,2020.07
- ISBN及定价:
- 978-7-5603-8964-6/CNY78.00
- 载体形态项:
- 450页;25cm
- 个人责任者:
- 陈胜利 著
- 学科主题:
- 不等式-计算机辅助计算-应用软件
- 中图法分类号:
- O178-39
- 中图法分类号:
- O178
- 提要文摘附注:
- 本书系统总结了作者及其合作者近十年来在不等式数学机械化领域的一系列研究成果及其软件(SCHUR01)实现。SCHUR01是基于作者提出的“分拆—降维—降幂—综合”等算法原理开发的具有自动发现功能的新颖的不等式证明软件，适用于一般代数式乃至任意维数任意次数的多项式的半正定判定及最优化问题(对于对称式尤为高效)，并且从整体上是可读的。把本书与SCHUR01结合起来阅读使用可使读者对于不等式的机器证明过程及其理论依据有更为深入的理解。
- 使用对象附注:
- 本书适合大中师生及数学爱好者阅读使用
全部MARC细节信息>>