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

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