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

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