注冊 | 登錄讀書好,好讀書,讀好書!
讀書網-DuShu.com
當前位置: 首頁出版圖書科學技術自然科學自然科學總論吳文俊全集 數學機械化卷III

吳文俊全集 數學機械化卷III

吳文俊全集 數學機械化卷III

定 價:¥198.00

作 者: 吳文俊
出版社: 龍門書局
叢編項:
標 簽: 暫缺

購買這本書可以去


ISBN: 9787508855523 出版時間: 2019-07-01 包裝:
開本: 32開 頁數: 400 字數:  

內容簡介

  本卷收錄了吳文俊的《數學機械化》一書. 本書是圍繞作者命名的“數學機械化”這一中心議題而陸續(xù)發(fā)表的一系列論文的綜述. 本書試圖以構造性與算法化的方式來研究數學, 使數學推理機械化以至于自動化, 由此減輕繁瑣的腦力勞動.全書分成三個部分:第一部分考慮數學機械化的發(fā)展歷史, 特別強調在古代中國的發(fā)展歷史. 第二部分給出求解多項式方程組所依據的基本原理與特征列方法. 作為這一方法的基礎, 本書還論述了構造性代數幾何中的若干問題. 第三部分給出了特征列方法在幾何定理證明與發(fā)現、機器人、天體力學、全局優(yōu)化和計算機輔助設計等領域中的應用.

作者簡介

暫缺《吳文俊全集 數學機械化卷III》作者簡介

圖書目錄

暫缺《吳文俊全集 數學機械化卷III》目錄

本目錄推薦

掃描二維碼
Copyright ? 讀書網 m.ranfinancial.com 2005-2020, All Rights Reserved.
鄂ICP備15019699號 鄂公網安備 42010302001612號