★★★★★★★★★★★★★★★★
本站购买电子书等资源使用支付宝，无需注册直接付费后（（弹出错误页面服务器忙，请稍等再试））不要关闭页面待页面电脑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

10. A Mechanization Method of Geometry IElementary Geometry
11. A Mechanization Method of Geometry and its Applications I. Distances, Areas and Volumes
12.《解方程器》或《SOLVER》软件系统概述
13.《解方程器》或《SOLVER》软件系统应用举例
14. A Mechanization Method of Geometry and its Applications II. Curve Pairs of Bertrand Type
15. On Reducibility Problem in Mechanical Theorem Proving of Elementary Geometies
17. A Mechanization Method of Geometry and its Applications III. Mechanical Proving of Polynomial Inequalities and Equations-Solving
18. 几何学机械化方法及其应用
19. A Mechanization Method of Geometry and its Applications IV. Some Theorems in Planar Kinematics
20. On the Foundation of Algebraic Differential Geometry
21. On the Generic Zero and Chow Basis of an Irreducible Ascending Set
22. A Mechanization Method of Geometry and its Applications V. Solving Transcendental Equations by Algebraic Methods
23. A Mechanization Method of Geometry and its Applications VI. Solving Inverse Kinematic Equations of PUMA-Type Robots (A Sketch)
24. On a Projection Theorem of Quasivarieties in Elimination Theory
25. On the Chemical Equilibrium Problem and Equations-Solving
26. Decomposition Theorems for the Zero-set of an Ordinary or Differential Polynomial Set and Their Applications
27. On the Construction of Groebner Basis of a Polynomial Ideal Based on Riquier-Janet Theory
28. Mechanical Theorem Proving of Differential Geometries and Some of its Applications in Mechanics
29. On a Finiteness Theorem about Optimization Problems
30. A Report on Mechanical Geometry Theorem Proving
31. On the Char-Set Method and the Linear Equations Method of Nonlinear Polynomial Equations-Solving
32. A Mechanization Method of Equations-Solving and Theorem-Proving
33. On Problems Involving Inequalities
34. On a Linear Equations Method of Nonlinear Polynomial Equations-Solving
35. On a Hybrid Method of Polynomial Equations Solving
36. On Surface-Fitting Problem in CAGD
37. On a Finiteness Theorem about Problems Involving Inequalities
38. CAGD中代数曲面拟合问题
39. Some Remarks on Factorization and GCD of Multivariate Polynomials
40. Central Con-gurations in Planet Motions and Vortex Motions
41. On Algebrico-Differential Equations-Solving
42. On “Good” Bases of Algebraico-Differential Ideals
44. Polynomial Equations-Solving and its Applications
45. Mathematics Mechanization and Applications after Thirty Years
46. 分角线相等的三角形——初等几何机器证明问题 [2]