★★★★★★★★★★★★★★★★
本站购买电子书等资源使用支付宝，无需注册直接付费后（（弹出错误页面服务器忙，请稍等再试））不要关闭页面待页面电脑PC自动刷新（手机端需从支付宝页面按手机浏览器左上角返回键回到本页面，再自行手动刷新网页，推荐电脑访问）显示下载链接！不推荐edge等太高级的浏览器下载链接会阻拦，推荐迅雷、IDM等工具！请立刻及时下载（另存为）以免下次访问失效！如果有问题请在页面底部留言反馈（留下你的邮箱，仅限邮件交流，或在文章中更新交代回复）！部分带OCR版本的pdf书可以复制文字或搜索内容。下载失败了怎么办：点击这里
★★★★★★★★★★★★★★★★
对本站的直接交易方式不放心？你可以花1元购买美女短视频体验交易流程：点击这里，或者花2元预览资源截图或电子书内页：点击这里
PDF扫描版和图文版的区别，以及其他Word、mobi、txt、epub、azw3等各种电子版格式的选择：点击这里
本文链接：
https://www.lifu.me/book-00064-07.html
文件大小：080.46 MB 吴文俊全集-数学机械化卷 Ⅴ
下载地址：
吴文俊全集(数学机械化卷Ⅴ)(精)
作者:吴文俊|编者:高小山出版社:龙门书局出版时间:2019年05月
开 本：16开
纸 张：胶版纸
包 装：平装-胶订
是否套装：否
国际标准书号ISBN：9787508855547
所属分类：
图书>自然科学>数学>应用数学
本卷收录了吴文俊在数学机械化领域发表的46篇论文，内容包括：几何定理机器证明的吴方法、多项式系统符号求解的Ritt-吴特征列方法、构造性微分代数几何理论、不等式机器证明与优化问题的有限核定理等数学机械化领域的奠基性成果,还包括数学机械化方法在数学定理的自动发现、天体中心构型问题求解、平面机构定理的机器证明、机器人的运动学问题的自动求解、几何设计中的曲面拼接等问题中的应用。 [1]
图书目录
编辑
播报
1. On the Decision Problem and the Mechanization of Theorem-Proving in Elementary Geometry
2. 初等微分几何的机械化证明
3. 初等微分几何的机械化证明
5. Some Remarks on Mechanical Theorem-Proving in Elementary Geometry
6. Some Recent Advances in Mechanical Theorem-Proving of Geometries
7. Basic Principles of Mechanical Theorem Proving in Elementary Geometries
8. A Constructive Theory of Differential Algebraic Geometry Based on Works of J.F.Ritt with Particular Applications to Mechanical Theorem-Proving of Differential Geometries
9. On Zeros of Algebraic Equations||An Application of Ritt Principle
