吳文俊論數學機械化

作品目錄

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

吳文俊論數學機械化

基本介紹

相關詞條

熱門詞條