《吳文俊全集：數學機械化卷Ⅴ》是2019年05月01日科學出版社出版的圖書，作者是吳文俊。
基本介紹
- 中文名：吳文俊全集：數學機械化卷Ⅴ
- 作者：吳文俊
- 出版時間：2019年05月
- 出版社：科學出版社
- 頁數：683 頁
- ISBN：9787508855547
- 定價：298 元
- 開本：B5
- 裝幀：圓脊精裝
內容簡介,圖書目錄,
內容簡介
本卷收錄了吳文俊在數學機械化領域發表的46篇論文，內容包括：幾何定理機器證明的吳方法、多項式系統符號求解的Ritt-吳特徵列方法、構造性微分代數幾何理論、不等式機器證明與最佳化問題的有限核定理等數學機械化領域的奠基性成果,還包括數學機械化方法在數學定理的自動發現、天體中心構型問題求解、平面機構定理的機器證明、機器人的運動學問題的自動求解、幾何設計中的曲面拼接等問題中的套用。
圖書目錄
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. 分角線相等的三角形——初等幾何機器證明問題
