《吳文俊全集·數學機械化I》是2019年6月龍門書局出版的圖書，作者是吳文俊。
基本介紹
- 書名：吳文俊全集·數學機械化I
- 作者：吳文俊
- ISBN：9787508855509
- 定價：188.00
- 出版社：龍門書局
- 出版時間：2019年6月
- 裝幀：平裝
- 開本：32
內容簡介,圖書目錄,
內容簡介
本卷收錄了吳文俊的Mathematics Mechanization: Mechanical Geometry Theorem-Proving, Mechanical Geometry Problem-Solving and Polynomial Equations-Solving 一書. 本書是圍繞作者命名的“數學機械化”這一中心議題而陸續發表的一系列論文的綜述. 本書試圖以構造性與算法化的方式來研究數學, 使數學推理機械化以至於自動化, 由此減輕繁瑣的腦力勞動.
全書分成三個部分：*部分考慮數學機械化的發展歷史, 特彆強調在古代中國的發展歷史. 第二部分給出求解多項式方程組所依據的基本原理與特徵列方法. 作為這一方法的基礎, 本書還論述了構造性代數幾何中的若干問題. 第三部分給出了特徵列方法在幾何定理證明與發現、機器人、天體力學、全局最佳化和計算機輔助設計等領域中的套用.
全書分成三個部分：*部分考慮數學機械化的發展歷史, 特彆強調在古代中國的發展歷史. 第二部分給出求解多項式方程組所依據的基本原理與特徵列方法. 作為這一方法的基礎, 本書還論述了構造性代數幾何中的若干問題. 第三部分給出了特徵列方法在幾何定理證明與發現、機器人、天體力學、全局最佳化和計算機輔助設計等領域中的套用.
圖書目錄
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 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
......
