机读格式显示(MARC)

• 000 01391nam 2200313 450

• 001 0000386876

• 005 20170312081400.0

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

• 100 __ |a 20160519d2016 em y0chiy0110 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 ca 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页 |c 图 |d 25cm

• 225 2_ |a 数学·统计学系列 |A shu xue ·tong ji xue ji lie

• 306 __ |a 由黑龙江省精品图书出版工程专项资金资助出版

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

• 330 __ |a 本书系统地总结了作者及其合作者近十年来在不等式数学机械化领域的一系列研究成果及其软件 (SCHUE01) 实现。把本书与SCHUR01结合起来阅读使用可使读者对于不等式的机器证明过程及其理论依据有更为深入的理解。

• 461 _0 |1 2001 |a 数学·统计学系列

• 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 计算机辅助计算

• 606 0_ |a 不等式 |A bu deng shi

• 606 0_ |a 计算机辅助计算 |A ji suan ji fu zhu ji suan

• 690 __ |a O178 |v 5

• 701 _0 |a 陈胜利 |A chen sheng li |4 著

• 801 _0 |a CN |b LIB |c 20170312

• 905 __ |a LIB |d O178/6