《吳文俊全集·數學機械化卷III》是2019年05月01日科學出版社出版的圖書，作者是吳文俊。
基本介紹
- 中文名：吳文俊全集·數學機械化卷III
- 作者：吳文俊
- 出版社：科學出版社
- 出版時間：2019-05
- 頁數：372 頁
- 定價：198 元
- 開本：B5
- 裝幀：圓脊精裝
- ISBN：9787508855523
內容簡介,圖書目錄,
內容簡介
本卷收錄了吳文俊的《數學機械化》一書。本書是圍繞作者命名的“數學機械化”這一中心議題而陸續發表的一系列論文的綜述。本書試圖以構造性與算法化的方式來研究數學，使數學推理機械化以至於自動化，由此減輕繁瑣的腦力勞動。 全書分成三個部分：第一部分考慮數學機械化的發展歷史，特彆強調在古代中國的發展歷史。第二部分給出求解多項式方程組所依據的基本原理與特徵列方法。作為這一方法的基礎，本書還論述了構造性代數幾何中的若干問題。第三部分給出了特徵列方法在幾何定理證明與發現、機器人、天體力學、全局最佳化和計算機輔助設計等領域中的套用。
圖書目錄
第一部分歷史發展
第二部分原理與方法
第三部分套用實例
參考文獻
