| ISBN/价格： | 978-7-5603-5797-3:CNY68.00 |
|---|
| 作品语种： | chi |
|---|
| 出版国别： | CN 230000 |
|---|
| 题名责任者项： | 不等式的分拆降维降幂方法与可读证明/.陈胜利著 |
|---|
| 出版发行项： | 哈尔滨:,哈尔滨工业大学出版社:,2016.1 |
|---|
| 载体形态项： | 450,15页:;+图:;+25cm |
|---|
| 丛编项： | 数学·统计学系列 |
|---|
| 提要文摘： | 本书系统总结了作者及其合作者近十年来在不等式数学机械化领域的一系列研究成果及其软件（SCHUR01）实现。SCHUR01是基于作者提出的“分拆—降维—降幂—综合”等算法原理而开发的具有自动发现功能的新颖的不等式证明软件，适用于一般代数式乃至任意维数、任意次数的多项式的半正定判定及最优化问题。SCHUR01对于对称式尤为高效，并且从整体上是可读的。 |
|---|
| 并列题名： | Methods of partition, decreasing dimension, decreasing degree and readable proof to inequalities eng |
|---|
| 题名主题： | 不等式 计算机辅助计算 |
|---|
| 中图分类： | O178 |
|---|
| 个人名称等同： | 陈胜利 著 |
|---|
| 记录来源： | CN 百万庄 20160616 |
|---|