★★★★★★★★★★★★★★★★
本站购买电子书等资源使用支付宝，无需注册直接付费后（（弹出错误页面服务器忙，请稍等再试））不要关闭页面待页面电脑PC自动刷新（手机端需从支付宝页面按手机浏览器左上角返回键回到本页面，再自行手动刷新网页，推荐电脑访问）显示下载链接！不推荐edge等太高级的浏览器下载链接会阻拦，推荐迅雷、IDM等工具！请立刻及时下载（另存为）以免下次访问失效！如果有问题请在页面底部留言反馈（留下你的邮箱，仅限邮件交流，或在文章中更新交代回复）！部分带OCR版本的pdf书可以复制文字或搜索内容。下载失败了怎么办：点击这里
★★★★★★★★★★★★★★★★
对本站的直接交易方式不放心？你可以花1元购买美女短视频体验交易流程：点击这里，或者花2元预览资源截图或电子书内页：点击这里
PDF扫描版和图文版的区别，以及其他Word、mobi、txt、epub、azw3等各种电子版格式的选择：点击这里
本文链接：
https://www.lifu.me/book-00064-03.html
文件大小：059.24 MB 吴文俊全集-数学机械化卷 I=THE COMPLETE WORKS OF WU WEN-TSUN MATHEMATICS MECHANIZATION I
下载地址：
吴文俊全集(数学机械化卷Ⅰ)(精)
作者:吴文俊出版社:龙门书局出版时间:2019年05月
开 本：16开
纸 张：胶版纸
包 装：平装-胶订
是否套装：否
国际标准书号ISBN：9787508855509
所属分类：
图书>自然科学>力学
内容简介
本卷收录了吴文俊的Mathematics Mechanization: MechanicalGeometry Theorem-Proving，Mechanical Geometry Problem-Solving andPolynomial Equations-Solving一书。本书是围绕作者命名的“数学机械化”这一中心议题而陆续发表的一系列论文的综述。本书试图以构造性与算法化的方式来研究数学，使数学推理机械化以至于自动化，由此减轻繁琐的脑力劳动。
全书分成三个部分： 部分考虑数学机械化的发展历史，特别强调在古代中国的发展历史。第二部分给出求解多项式方程组所依据的基本原理与特征列方法。作为这一方法的基础，本书还论述了构造性代数几何中的若干问题。 第三部分给出了特征列方法在几何定理证明与发现、机器人、天体力学、全局优化和计算机辅助设计等领域中的应用。
