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

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

暫缺《吳文俊全集 數(shù)學(xué)機(jī)械化卷III》作者簡(jiǎn)介