MARC状态:审校 文献类型:中文图书 浏览次数:46
- 题名/责任者:
- 不等式的分拆降维降幂方法与可读证明/陈胜利著
- 出版发行项:
- 哈尔滨:哈尔滨工业大学出版社,2016
- ISBN及定价:
- 978-7-5603-5797-3/CNY68.00
- 载体形态项:
- 450页;26cm
- 并列正题名:
- Methods of partition, decreasing dimension, decreasing degree and readable proof to inequalities
- 丛编项:
- 大家书系.数学·统计学系列
- 个人责任者:
- 陈胜利 著
- 学科主题:
- 不等式-计算机辅助计算
- 中图法分类号:
- O178
- 书目附注:
- 有书目 (第437-442页)
- 提要文摘附注:
- 本书系统总结了作者及其合作者近十年来在不等式数学机械化领域的一系列研究成果及其软件(SCHUR01)实现。SCHUR01是基于作者提出的“分拆-降维-降幂-综合”等等算法原理而开发的具有自动发现功能的新颖的不等式证明软件,适用于一般代数式乃至任意维数、任意次数的多项式的半正定判定及最优化问题。
- 使用对象附注:
- 高等学校计算机软件、数学爱好者及相关读者。
全部MARC细节信息>>
索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 |
O178/1 | CN1472837 | - | ![]() |
阅览 |
O178/1 | CN1472838 | - | ![]() |
可借 |
O178/1 | CN1472839 | - | ![]() |
可借 |
显示全部馆藏信息