网课114 吴文俊全集：数学机械化卷V 吴文俊 科学出版社 PDF电子教材 PDF电子书 大学教材电子版 电子课本 网盘下载（价值298元）【高清非扫描版】（2019年）
《吴文俊全集：数学机械化卷V》吴文俊 科学出版社 PDF电子教材 PDF电子书 大学教材电子版 电子课本 网盘下载（价值298元）【高清非扫描版】（2019年）
图书简介：
本卷收录了吴文俊在数学机械化领域发表的46篇论文,内容包括：几何定理机器证明的吴方法、多项式系统符号求解的Ritt-吴特征列方法、构造性微分代数几何理论、不等式机器证明与优化问题的有限核定理等数学机械化领域的奠基性成果,还包括数学机械化方法在数学定理的自动发现、天体中心构型问题求解、平面机构定理的机器证明、机器人的运动学问题的自动求解、几何设计中的曲面拼接等问题中的应用。
网课114（wangke114.com）：网课学习资源大全，网课在这儿一搜就购了。专注于提供全网最新幼/小/初/高/大学/考研/考证/才艺等高质精选课程下载。
网课114（wangke114.com） » 吴文俊全集：数学机械化卷V 吴文俊 科学出版社 PDF电子教材 PDF电子书 大学教材电子版 电子课本 网盘下载（价值298元）【高清非扫描版】（2019年）
网课114（wangke114.com） » 吴文俊全集：数学机械化卷V 吴文俊 科学出版社 PDF电子教材 PDF电子书 大学教材电子版 电子课本 网盘下载（价值298元）【高清非扫描版】（2019年）
