不挂科网 吴文俊全集·数学机械化I 吴文俊 科学出版社 PDF电子教材 PDF电子书 大学教材电子版 电子课本 网盘下载（价值188元）【高清非扫描版】
考试不挂科，就来【不挂科网】!
课程清单百度网盘 分享资源(永久有效,不过期)
《吴文俊全集·数学机械化I》吴文俊 科学出版社 PDF电子教材 PDF电子书 大学教材电子版 电子课本 网盘下载（价值188元）【高清非扫描版】
图书简介：
本卷收录了吴文俊的Mathematics Mechanization: Mechanical Geometry Theorem-Proving, Mechanical Geometry Problem-Solving and Polynomial Equations-Solving 一书. 《吴文俊全集·数学机械化I》是围绕作者命名的“数学机械化”这一中心议题而陆续发表的一系列论文的综述. 《吴文俊全集·数学机械化I》试图以构造性与算法化的方式来研究数学, 使数学推理机械化以至于自动化, 由此减轻繁琐的脑力劳动.
《吴文俊全集·数学机械化I》分成三个部分：第一部分考虑数学机械化的发展历史, 特别强调在古代中国的发展历史. 第二部分给出求解多项式方程组所依据的基本原理与特征列方法. 作为这一方法的基础, 《吴文俊全集·数学机械化I》还论述了构造性代数几何中的若干问题. 第三部分给出了特征列方法在几何定理证明与发现、机器人、天体力学、全局优化和计算机辅助设计等领域中的应用.
吴文俊全集·数学机械化I 吴文俊 科学出版社 PDF电子教材 PDF电子书 大学教材电子版 电子课本 网盘下载（价值188元）【高清非扫描版】
文件格式：PDF
开通VIP 加入会员，享购买价格折扣尊享最低5折购
不挂科网【buguakeWang.com】：专注提供大学考试期末不挂科网课视频，课程适用期末/补考/重修的大学生们。猴博士爱讲课不挂科、蜂考高斯课堂不挂科、高数叔不挂科、高数帮不挂科、斐多课堂不挂科，学霸戴你飞不挂科全套网课视频课程。
【不挂科网】(buguakeWang.com) » 吴文俊全集·数学机械化I 吴文俊 科学出版社 PDF电子教材 PDF电子书 大学教材电子版 电子课本 网盘下载（价值188元）【高清非扫描版】
【不挂科网】(buguakeWang.com) » 吴文俊全集·数学机械化I 吴文俊 科学出版社 PDF电子教材 PDF电子书 大学教材电子版 电子课本 网盘下载（价值188元）【高清非扫描版】
