不等式机器证明与自动发现

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