本书详细介绍了柯西-许瓦兹不等式、柯西不等式的应用技巧、证明恒等式、解方程（组）或解不等式、证明不等式、证明条件不等式、求函数的极值、解几何问题、切比雪夫不等式及其应用等内容，而且在重要章节后面都有相应的习题解答或提示。
本书主要介绍作者及其合作者近十年来在不等式机器证明与自动发现方面的工作，兼顾经典结果和方法，全书共分7章，分别介绍和论述多项式的伪除与结式、相对单纯分解、多项式的实根、常系数半代数系统的实解隔离、参系数半代数系统的实解分类、不等式机器证明的降维算法与BOTTEMA程序以及不等式的明证．除章及第3章、第7章的部分内容外，余皆作者及合作者的工作，附录介绍了子结式理论和柱形代数分解算法，还包括了对作者自编软件包B01TrEMA的使用说明。 本书可作为高等院校、科研机构数学或计算机科学方向研究生的教材，也可作为相关专业研究人员和工程技术人员的参考书。
本书详细介绍了柯西-许瓦兹不等式、柯西不等式的应用技巧、证明恒等式、解方程（组）或解不等式、证明不等式、证明条件不等式、求函数的极值、解几何问题、切比雪夫不等式及其应用等内容，而且在重要章节后面都有相应的习题解答或提示。
本套书可作为轮高三数学复习用书，分为学生用书和教师用书。教师用书的单元、小节的数目及其排列顺序与学生用书完全相同，内容包括“基础训练”、“例题精讲”、“巩固练习”、“要点回顾”和“自我测试”中所有习题及详细解答，并给出典型问题的出处、选题目的、变题引申、教学点拨或学习指导。另外，在每节“要点回顾”后设置了参考例题，提供3个备选例题，以便教师酌情选用。
本书是一部关于线性算子半群理论及其在偏微分方程中应用的经典教科书，内容简明，书中着重介绍用于偏微分方程的实初始值问题，以及自治和非自治线性初始值问题用的抽象柯西问题。适用于数学及相关专业研究生。
