- 题名/责任者:
- 不等式的分拆降维降幂方法与可读证明/陈胜利著
- 出版发行项:
- 哈尔滨:哈尔滨工业大学出版社,2016
- ISBN及定价:
- 978-7-5603-5797-3/CNY68.00
- 载体形态项:
- 450页:图;25cm
- 并列正题名:
- Methods of partition, decreasing dimension, decreasing degree and readable proof to inequalities
- 丛编项:
- 数学·统计学系列
- 个人责任者:
- 陈胜利 著
- 学科主题:
- 不等式-计算机辅助计算
- 学科主题:
- 不等式
- 学科主题:
- 计算机辅助计算
- 中图法分类号:
- O178
- 出版发行附注:
- 由黑龙江省精品图书出版工程专项资金资助出版
- 书目附注:
- 有书目 (第437-442页)
- 提要文摘附注:
- 本书系统地总结了作者及其合作者近十年来在不等式数学机械化领域的一系列研究成果及其软件 (SCHUE01) 实现。把本书与SCHUR01结合起来阅读使用可使读者对于不等式的机器证明过程及其理论依据有更为深入的理解。
全部MARC细节信息>>
| 索书号 | 条码号 | 年卷期 | 校区—馆藏地 | 书刊状态 |
| O178/6 | S3067096 | 总馆—理学书库（龙湖） | 可借 | |
| O178/6 | S3067097 | 总馆—理学书库（龙湖） | 可借 | |
| O178/6 | S3067098 | 总馆—理学书库（龙湖） | 可借 |
显示全部馆藏信息