作者：陈胜利
出版社： 哈尔滨工业大学出版社
CIP号：2016003950
书号：978-7-5603-5797-3
出版地：哈尔滨
出版时间：2016.1
定价：￥58
本书系统地总结了作者及其合作者近十年来在不等式数学机械化领域的一系列研究成果及其软件（SCHUE01）实现。把本书与SCHUR01结合起来阅读使用可使读者对于不等式的机器证明过程及其理论依据有更为深入的理解。