吳文俊論數(shù)學機械化

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