《不等式机器证明与自动发现》主要介绍作者及其合作者近十年来在不等式机器证明与自动发现方面的工作，兼顾经典结果和方法，全书共分7章，分别介绍和论述多项式的伪除与结式、相对单纯分解、多项式的实根、常系数半代数系统的实解隔离、参系数半代数系统的实解分类、不等式机器证明的降维算法与BOTTEMA程序以及不等式的明证,除第1章及第3章、第7章的部分内容外，余皆作者及合作者的工作，附录介绍了子结式理论和柱形代数分解算法，还包括了对作者自编软件包B01TrEMA的使用说明。

越民义1921年6月生，贵州省贵阳人。1945年毕业于浙江大学数学系。早年曾在浙江大学数学系、贵州大学数理系任教。1951—1990年，在中国科学院数学研究所、应用数学研究所做研究工作。研究员曾担任《中国大百科全书》数学卷运筹学分卷主编，《应用数学学报》副主编（1978一1985）、主编（1985—1995），以及《运筹学学报》主编（1982年至今）。著作有《组合优化导论》（浙江科学技术出版社，2001）等。