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