扫一扫
关注中图网
官方微博
本类五星书更多>
-
>
宇宙、量子和人类心灵
-
>
气候文明史
-
>
南极100天
-
>
考研数学专题练1200题
-
>
希格斯:“上帝粒子”的发明与发现
-
>
神农架叠层石:10多亿年前远古海洋微生物建造的大堡礁
-
>
声音简史
吴文俊全集 数学机械化卷1 版权信息
- ISBN:9787508855509
- 条形码:9787508855509 ; 978-7-5088-5550-9
- 装帧:一般胶版纸
- 册数:暂无
- 重量:暂无
- 所属分类:>
吴文俊全集 数学机械化卷1 内容简介
本卷收录了吴文俊的Mathematics Mechanization:Mechanical Geometry Theorem-Proving,Mechanical Geometry Problem-Solving and Polynomial Equations-Solving一书。本书是围绕作者命名的“数学机械化”这一中心议题而陆续发表的一系列论文的综述。本书试图以构造性与算法化的方式来研究数学,使数学推理机械化以至于自动化,由此减轻繁琐的脑力劳动。全书分成三个部分:部分考虑数学机械化的发展历史,特别强调在古代中国的发展历史。第二部分给出求解多项式方程组所依据的基本原理与特征列方法。作为这一方法的基础,本书还论述了构造性代数几何中的若干问题。第三部分给出了特征列方法在几何定理证明与发现、机器人、天体力学、全局优化和计算机辅助设计等领域中的应用。
吴文俊全集 数学机械化卷1 目录
Contents
Chapter 1 Polynomial Equations-Solving in Ancient Times, Mainly in Ancient China 1
1.1 A Brief Description of History of Ancient China and Mathematics Classics in Ancient China 1
1.2 Polynomial Equations-Solving in Ancient China 9
1.3 Polynomial Equations-Solving in Ancient Times beyond China and the Program of Descartes 24
Chapter 2 Historical Development of Geometry Theorem-Proving and Geometry Problem-Solving in Ancient Times 31
2.1 Geometry Theorem-Proving from Euclid to Hilbert 31
2.2 Geometry Theorem-Proving in the Computer Age 43
2.3 Geometry Problem-Solving and Geometry Theorem-Proving in Ancient China 47
Chapter 3 Algebraic Varieties as Zero-Sets and Characteristic-Set Method 65
3.1 Affine and Projective SpaceExtended Points and Specialization 65
3.2 Algebraic Varieties and Zero-Sets 73
3.3 Polsets and Ascending SetsPartial Ordering 85
3.4 Characteristic Set of a Polset and Well-Ordering Principle 93
3.5 Zero-Decomposition Theorems 104
3.6 Variety-Decomposition Theorems 117
Chapter 4 Some Topics in Computer Algebra 130
4.1 Tuples of integers 130
4.2 Well-Arranged Basis of a Polynomial Ideal 138
4.3 Well-Behaved Basis of a Polynomial Idea l45
4.4 Properties of Well-Behaved Basis and its Relationship with Groebner Basis 153
4.5 Factorization and GCD of Multivariate Polynomials over Arbitrary Extension Fields 164
Chapter 5 Some Topics in Computational Algebraic Geometry 175
5.1 Some Important Characters of Algebraic Varieties Complex and Real Varieties 175
5.2 Algebraic Correspondence and Chow Form 190
5.3 Chern Classes and Chern Numbers of an Irreducible Algebraic Variety with Arbitrary Singularities 202
5.4 A Projection Theorem on Quasi-Varieties 211
5.5 Extremal Properties of Real Polynomials 220
Chapter 6 Applications to Polynomial Equations-Solving 234
6.1 Basic Principles of Polynomial Equations-Solving: The Char-Set Method 234
6.2 A Hybrid Method of Polynomial Equations-Solving 244
6.3 Solving of Problems in Enumerative Geometry 256
6.4 Central Configurations in Planet Motions and Vortex Motions 266
6.5 Solving of Inverse Kinematic Equations in Robotics 277
Chapter 7 Appicaltions to Geometry Theorem-Proving 290
7.1 Basic Principles of Mechanical Geometry Theorem-Proving 290
7.2 Mechanical Proving of Geometry Theorems of Hilbertian Type 301
7.3 Mechanical Proving of Geometry Theorems involving Equalities Alone 316
7.4 Mechanical Proving of Geometry Theorems involving Inequalities 327
Chapter 8 Diverse Applications 341
8.1 Applications to Automated Discovering of Unknown Relations and Automated Determination of Geometric Loci 341
8.2 yApplications to Problems involving Inequalities, Optimization Problems, and Non-Linear Programming 353
8.3 Applications to 4-Bar Linkage Design 363
展开全部
书友推荐
- >
姑妈的宝刀
姑妈的宝刀
¥15.7¥30.0 - >
名家带你读鲁迅:故事新编
名家带你读鲁迅:故事新编
¥13.0¥26.0 - >
企鹅口袋书系列·伟大的思想20:论自然选择(英汉双语)
企鹅口袋书系列·伟大的思想20:论自然选择(英汉双语)
¥6.3¥14.0 - >
月亮虎
月亮虎
¥15.4¥48.0 - >
唐代进士录
唐代进士录
¥16.1¥39.8 - >
李白与唐代文化
李白与唐代文化
¥9.9¥29.8 - >
新文学天穹两巨星--鲁迅与胡适/红烛学术丛书(红烛学术丛书)
新文学天穹两巨星--鲁迅与胡适/红烛学术丛书(红烛学术丛书)
¥9.9¥23.0 - >
罗曼·罗兰读书随笔-精装
罗曼·罗兰读书随笔-精装
¥32.9¥58.0
本类畅销
-
数学的魅力;初等数学概念演绎
¥9.4¥22 -
普林斯顿微积分读本-(修订版)
¥62.4¥99 -
高等几何
¥8.8¥20 -
离散数学(第六版)
¥43.4¥49.9 -
偏微分方程
¥20.9¥33.7 -
数学·统计学系列二维.三维欧式几何的对偶原理
¥96.6¥138
浏览历史
观赏植物分类学
¥92.5¥138.0试验设计与SPSS应用
¥28.4¥38.0做孩子最好的英语学习规划师-中国儿童英语习得全路线图
¥30.9¥49.8关键学习素养与学科课程设计
¥25.5¥34.0创业板上市公司董事会治理绩效影响因素研究-基于非线性的董事会行为中介效应
¥36.1¥45.0