吳文俊論數學機械化

     目錄
   綜合報告與論述
    數學
    數學概況及其發(fā)展
    關于教材的一點看法
    數學與四個現代化
    消除對數學的神秘感
    ——推薦《數學譯林》
    對中國傳統(tǒng)數學的再認識
    《現代數學新進展》序
    （陳省身文選、傳記、通俗演講及其它》序
    《吳文俊文集》前言
    慎重地改革數學教育
    在（中國現代數學家傳》首卷出版座談會上的講話
    法國數學新派——布爾巴基派
   數 學 史
    中國古代數學對世界文化的偉大貢獻
    近年來中國數學史的研究
    從《數書九章》看中國傳統(tǒng)數學構造性與機械化的
    特色
    我國古代測望之學重差理論評介兼評數學史研究中
    某些方法問題
    《海島算經》古證探源
    出入相補原理
    《〈九章算術〉注釋》的序
    《〈九章算術〉與劉徽》序
    《秦九韶與〈數書九章〉》序
    《郭書春匯?！淳耪滤阈g〉》序
    《〈九章算術〉及其劉徽注研究》序
    在中外數學史講習班開幕典禮上的講話
   數學機械化
    《可剖形在歐氏空間中的實現問題》的緒論
    印刷電路與集成電路中的布線問題
    集成電路設計中的一個數學問題
    拓撲中的量度與能計算性
    博奕論雜談：（一）二人博奕
    數學的機械化
    幾何定理的機器證明
    數學的機械化問題
    數學中的公理化與機械化思想
    幾何定理機器證明
    初等幾何判定問題與機械化證明
    幾何學機械化方法及其應用
    數學的機械化與機械化的數學
    《幾何定理機器證明的基本原理（初等幾何部分）》
    的導言
    復興構造性的數學
    分角線相等的三角形
    解方程器或SOLVER軟件系統(tǒng)概述
    解方程器或SOLVER軟件系統(tǒng)應用舉例
    解方程器軟件包（EQNS—SOLVER）
   附 錄
    On the decisionproblemandthe mechanization
    oftheorem－proving inelementary geometry
    Toward mechanizationofgeometrysome
    commentsonHilbert’s“Grundlagender Geometrie’
    Someremarksonmechanicaltheorem－proving
    inelementarygeometry
    Automationoftheorem－proving
    Asurveyofdevelopmentsofmathematics
    mechanizationinChina
    Onthedevelopmentofpolynomialequations
    solvinginChina
    Polynomialequations－solvinganditsapplications