|
题名:
|
不等式的分拆降维降幂方法与可读证明 / 陈胜利著 , |
|
ISBN:
|
978-7-5603-8964-6 价格： CNY78.00 |
|
语种:
|
chi |
|
载体形态:
|
450页 26cm |
|
出版发行:
|
出版地： 哈尔滨 出版社： 哈尔滨工业大学出版社 出版日期： 2020 |
|
内容提要:
|
本书系统总结了作者及其合作者近十年来在不等式数学机械化领域的一系列研究成果及其软件(SCHUR01)实现。SCHUR01是基于作者提出的“分拆—降维—降幂—综合”等算法原理开发的具有自动发现功能的新颖的不等式证明软件，适用于一般代数式乃至任意维数任意次数的多项式的半正定判定及最优化问题(对于对称式尤为高效)，并且从整体上是可读的。把本书与SCHUR01结合起来阅读使用可使读者对于不等式的机器证明过程及其理论依据有更为深入的理解。本书适合大中师生及数学爱好者阅读使用。 |
|
主题词:
|
不等式 计算机辅助计算 |
|
中图分类法:
|
O178-39 版次： 5 |
|
主要责任者:
|
陈胜利 著 |
|
版次:
|
2版 |
|
索书号:
|
3 |