-
數學機械化
(2003年科學出版社出版的圖書)
鎖定
《數學機械化》是2003年科學出版社出
版的圖書,作者是吳文俊。
[1]
- 中文名
-
數學機械化
- 作 者
-
吳文俊
- 出版社
-
科學出版社
- 出版時間
-
2003年3月
- ISBN
-
7030107640
數學機械化圖書簡介
本書以構造性與算法化的方式研究數學,分為:數學機械化的發展史,強調在古代中國的發展史;求解多項式方程組所依據的基本原理與特徵列方法;此方法在幾何定理證明與發現、機器人、天體力學、全局優化和計算機輔助設計等領域的
應用。
[1]
數學機械化圖書目錄
目錄
第一部分 歷史發展
第二部分 原理與方法
第三部分 應用實例
- 參考資料
-
-
1.
數學機械化
.科學文庫[引用日期2021-11-19]