MARC状态：审校 文献类型：中文图书 浏览次数：34
- 题名/责任者:
- 不等式的分拆降维降幂方法与可读证明/陈胜利著
- 版本说明:
- 第2版
- 出版发行项:
- 哈尔滨:哈尔滨工业大学出版社,2020
- ISBN及定价:
- 978-7-5603-8964-6/CNY78.00
- 载体形态项:
- 450页;25cm
- 并列正题名:
- Methods of partition, decreasing dimension, decreasing degree and readable proof to inequalities
- 丛编项:
- 数学·统计学系列
- 个人责任者:
- 陈胜利 著
- 学科主题:
- 不等式-计算机辅助计算-应用软件
- 中图法分类号:
- O178
- 书目附注:
- 有书目 (第437-442页)
- 提要文摘附注:
- 本书系统总结了作者及其合作者近十年来在不等式数学机械化领域的一系列研究成果及其软件 (SCHUR01) 实现。SCHUR01是基于作者提出的“分拆—降维—降幂—综合”等算法原理开发的具有自动发现功能的新颖的不等式证明软件, 适用于一般代数式乃至任意维数任意次数的多项式的半正定判定及最优化问题。
全部MARC细节信息>>
| 索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 | 还书位置 |
| O178/772/2 | 60225326 |  临安自科(N-Z)(2F)(信息工程学院)
|
可借 | 临安自科(N-Z)(2F)(信息工程学院) | |
| O178/772/2 | 60225327 | 临安自科(N-Z)(2F)(信息工程学院)
|
可借 | 临安自科(N-Z)(2F)(信息工程学院) | |
| O178/772/2 | 60225328 | 临安自科(N-Z)(2F)(信息工程学院)
|
可借 | 临安自科(N-Z)(2F)(信息工程学院) | |
| O178/772/2 | 72385663 | 自然科学第二书库（7F）
|
可借 | 自然科学第二书库（7F） | |
| O178/772/2 | 72385664 | 自然科学第二书库（7F）
|
可借 | 自然科学第二书库（7F） | |
| O178/772/2 | 72385665 | 自然科学第二书库（7F）
|
可借 | 自然科学第二书库（7F） |
显示全部馆藏信息
CADAL相关电子图书
借阅趋势
同名作者的其他著作(点击查看)
收藏到： 管理书架