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

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

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