-
数学机械化丛书,11:不等式机器证明与自动发现
¥63.4(7.2折)定价:¥88.0本书主要介绍作者在不等式机器证明于自动发现方面的工作。分别介绍和论述多项式的伪除与结式、相对单纯分解、多项式的实根、常系数半代数系统的实解隔离、不等式机器证明的降维算法等内容...
本书主要介绍作者在不等式机器证明于自动发现方面的工作。分别介绍和论述多项式的伪除与结式、相对单纯分解、多项式的实根、常系数半代数系统的实解隔离、不等式机器证明的降维算法等内容...
京ICP备09013606号-3京信市监发[2002]122号海淀公安分局备案编号:1101083394