吳文俊全集數(shù)學(xué)機(jī)械化卷III

定　價(jià)：￥198.00

作　者：	吳文俊
出版社：	龍門書局
叢編項(xiàng)：
標(biāo)　簽：	暫缺

購買這本書可以去

ISBN：	9787508855523	出版時間：	2019-07-01	包裝：
開本：	32開	頁數(shù)：	400	字?jǐn)?shù)：

內(nèi)容簡介

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