本书系统总结了作者及其合作者近十年来在不等式数学机械化领域的一系列研究成果及其软件（schur01）实现。schur01是基于作者提出的“分拆一降维一降幂一综合”等算法原理而开发的具有自动发现功能的新颖的不等式证明软件，适用于一般代数式乃至任意维数、任意次数的多项式的半正定判定及*化问题。

schur01对于对称式尤为高校，并且从整体上是可读的。把本书与schur01结合起来阅读使用可使读者对于不等式的机器证明过程及其理论依据有更为深入的理解。

本书适合大中学师生、不等式相关研究人员及数学爱好者学习使用。