机读格式显示(MARC)

• 000 02045cam 2200589 450

• 001 0000246587

• 005 20161221091500.0

• 010 __ |a 978-7-5603-5797-3 |d CNY68.00

• 099 __ |a CAL 012016077051

• 100 __ |a 20160627d2016 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 230000

• 105 __ |a ak a 000yy

• 106 __ |a r

• 200 1_ |a 不等式的分拆降维降幂方法与可读证明 |A bu deng shi de fen chai jiang wei jiang mi fang fa yu ke du zheng ming |d = Methods of partition, decreasing dimension, decreasing degree and readable proof to inequalities |f 陈胜利著 |z eng

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

• 215 __ |a 450页 |d 26cm

• 225 2_ |a 大家书系 |A Da Jia Shu Xi |i 数学·统计学系列

• 320 __ |a 有书目 (第437-442页)

• 330 __ |a 本书系统总结了作者及其合作者近十年来在不等式数学机械化领域的一系列研究成果及其软件（SCHUR01）实现。SCHUR01是基于作者提出的“分拆-降维-降幂-综合”等等算法原理而开发的具有自动发现功能的新颖的不等式证明软件，适用于一般代数式乃至任意维数、任意次数的多项式的半正定判定及最优化问题。

• 333 __ |a 高等学校计算机软件、数学爱好者及相关读者。

• 410 _0 |1 2001 |a 大家书系 |i 数学·统计学系列

• 510 1_ |a Methods of partition, decreasing dimension, decreasing degree and readable proof to inequalities |z eng

• 606 0_ |a 不等式 |A bu deng shi |x 计算机辅助计算

• 690 __ |a O178 |v 5

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

• 801 _0 |a CN |b OUQD |c 20160627

• 801 _2 |a CN |b PUL |c 20160722

• 905 __ |a XATU |d O178/1

• 920 __ |a 211010 |z 1

• 920 __ |a 237020 |z 1

• 920 __ |a 231030 |z 1

• 920 __ |a 211030 |z 1

• 920 __ |a 232010 |z 1

• 920 __ |a 244020 |z 2

• 920 __ |a 231020 |z 1

• 920 __ |a 242020 |z 1

• 920 __ |a 242170 |z 1

• 920 __ |a 211260 |z 1

• 920 __ |a 232020 |z 1

• 920 __ |a 244180 |z 1

• 920 __ |a 242010 |z 1

• 920 __ |a 221020 |z 1

• 920 __ |a 245010 |z 1

• 920 __ |a 231231 |z 1

• 920 __ |a 231010 |z 1

• 920 __ |a 212020 |z 1

• 920 __ |a 261020 |z 1

• 920 __ |a 244010 |z 1

• 920 __ |a 231280 |z 1

• 920 __ |a 261030 |z 1

• 998 __ |a OUQD