网课114 不等式机器证明与自动发现 杨路 科学出版社 PDF电子教材 PDF电子书 大学教材电子版 电子课本 网盘下载【高清非扫描版】
数学机械化丛书《不等式机器证明与自动发现》杨路 科学出版社 PDF电子教材 PDF电子书 大学教材电子版 电子课本 网盘下载【高清非扫描版】
图书简介：
本书主要介绍作者在不等式机器证明于自动发现方面的工作。分别介绍和论述多项式的伪除与结式、相对单纯分解、多项式的实根、常系数半代数系统的实解隔离、不等式机器证明的降维算法等内容。
网课114（wangke114.com）：网课学习资源大全，网课在这儿一搜就购了。专注于提供全网最新幼/小/初/高/大学/考研/考证/才艺等高质精选课程下载。
网课114（wangke114.com） » 不等式机器证明与自动发现 杨路 科学出版社 PDF电子教材 PDF电子书 大学教材电子版 电子课本 网盘下载【高清非扫描版】
网课114（wangke114.com） » 不等式机器证明与自动发现 杨路 科学出版社 PDF电子教材 PDF电子书 大学教材电子版 电子课本 网盘下载【高清非扫描版】
