《數學機械化》是圍繞作者命名的"數學機械化"這一中心議題而陸續發錶的一係列論文的綜述。《數學機械化》試圖以構造性與算法化的方式來研究數學，使數學推理機械化以至於自動化，由此減輕繁瑣的腦力勞動。《數學機械化》分成三個部分:第一部分考慮數學機械化的發展曆史，特彆強調在古代中國的發展曆史。第二部分給齣求解多項式方程組所依據的基本原理與特徵列方法。作為這一方法的基礎，《數學機械化》還論述瞭構造性代數幾何中的若乾問題。第三部分給齣瞭特徵列方法在幾何定理證明與發現、機器人、天體力學、全局優化和計算機輔助設計等領域中的應用。
具體描述
讀後感
評分
評分
評分
評分
評分
用戶評價
评分
不錯的書，對古代中國的數學思想有瞭更深的體會。但是學術應該是去民族話的，整個機械化的思想還是非常值得藉鑒的
评分不錯的書，對古代中國的數學思想有瞭更深的體會。但是學術應該是去民族話的，整個機械化的思想還是非常值得藉鑒的
评分吳文俊先生說過，從事數學研究，要有良好的思維方式，在思想觀念上要有所突破。
评分吳文俊先生說過，從事數學研究，要有良好的思維方式，在思想觀念上要有所突破。
评分不錯的書，對古代中國的數學思想有瞭更深的體會。但是學術應該是去民族話的，整個機械化的思想還是非常值得藉鑒的
相關圖書
本站所有內容均為互聯網搜索引擎提供的公開搜索信息，本站不存儲任何數據與內容，任何內容與數據均與本站無關，如有需要請聯繫相關搜索引擎包括但不限於百度，google,bing,sogou 等
© 2025 book.quotespace.org All Rights Reserved. 小美書屋 版权所有