书目详细信息
： 不等式的分拆降维降幂方法与可读证明
书目信息 机读格式(MARC)
| ISBN/价格： | 978-7-5603-5797-3:CNY68.00 |
|---|---|
| 作品语种： | chi |
| 出版国别： | CN 230000 |
| 题名责任者项： | 不等式的分拆降维降幂方法与可读证明/.陈胜利著 |
| 出版发行项： | 哈尔滨:,哈尔滨工业大学出版社:,2016.01 |
| 载体形态项： | 450,15页:;+25cm |
| 丛编项： | 数学·统计学系列 |
| 提要文摘： | 本书系统总结了作者及其合作者近十年来在不等式数学机械化领域的一系列研究成果及其软件(SCHUR01)实现SCHUR01是基于作者提出的“分拆-降纬-降幂-综合”等算法原理而开发的具有自动发现功能的新颖的不等式证明软件。 |
| 并列题名： | Methods of partition, decreasing dimension, decreasing degree and readable proof to inequalities eng |
| 题名主题： | 不等式 计算机辅助计算 |
| 中图分类： | O178 |
| 个人名称等同： | 陈胜利 著 |
| 记录来源： | CN CEOC 20160518 |