西安工业大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

不等式的分拆降维降幂方法与可读证明/陈胜利著

出版发行项:

哈尔滨:哈尔滨工业大学出版社,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是基于作者提出的“分拆-降维-降幂-综合”等等算法原理而开发的具有自动发现功能的新颖的不等式证明软件，适用于一般代数式乃至任意维数、任意次数的多项式的半正定判定及最优化问题。

使用对象附注:

高等学校计算机软件、数学爱好者及相关读者。

豆瓣简介：