机读格式显示(MARC)

• 000 01242nam0 2200277 450

• 001 0000552272

• 005 20210616135800.0

• 010 __ |a 978-7-5603-8964-6 |d CNY78.00

• 092 __ |a CN |b 人天951-2268

• 100 __ |a 20201024d2020 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 230000

• 105 __ |a y z 000yy

• 106 __ |a r

• 200 1_ |a 不等式的分拆降维降幂方法与可读证明 |A Bu Deng Shi De Fen Chai Xiang Wei Jiang Mi Fang Fa Yu Ke Du Zheng Ming |f 陈胜利著

• 205 __ |a 2版

• 210 __ |a 哈尔滨 |c 哈尔滨工业大学出版社 |d 2020.07

• 215 __ |a 450页 |d 25cm

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

• 333 __ |a 本书适合大中师生及数学爱好者阅读使用

• 606 0_ |a 不等式 |A Bu Deng Shi |x 计算机辅助计算 |x 应用软件

• 690 __ |a O178-39 |v 5

• 690 __ |a O178 |v 4

• 701 _0 |a 陈胜利 |A Chen Sheng Li |4 著

• 801 _0 |a CN |b 人天书店 |c 20201028

• 905 __ |a WXCSXY |d O178/9=2