吴文俊论数学机械化

《吴文俊论数学机械化》是山东教育出版社于1996年7月出版是一本书。该书对数学机械化问题进行了论述。

• 出版社 山东教育出版社
• 出版时间 1996年07月
• 页数 659 页
• 定价 27.20
• 装帧 精装

　　作品目录

　　目录

　　综合报告与论述

　　数学

　　数学概况及其发展

　　关于教材的一点看法

　　数学与四个现代化

　　消除对数学的神的王念际占入序秘感

　　――推荐《数学译林》

　　对中国传统数学的再认识

　　《现代数学新来自进展》序

　　(陈省身文选360百科、传记、通俗演讲及其它》序

　　《吴文俊文集》前言

　　慎重地改革数学教育

　　在(中国现代数学家传》首卷出版座谈会上的讲话

　　使市扩级法国数学新派――布尔巴基派

　　数 学 史

　　中国古代数学对世界文化的伟大贡献

　　近年来中国数学史期阿钟与流粒练诉自钱的研究

　　从《数书九章》看中国传统数学构造性与机械化的

　　特色

　　我国古代测望之学重差理论评介兼评数学史研究中

　　某些方法问题

　　《海岛算经》古证探源

　　出入相补原理

　　《〈九章算术〉注释》的序

　　《〈九章算术〉与刘徽》序

　　《秦九韶与〈数书九章〉》序

　　《郭书春汇校〈九章算术〉》序

　　《〈九章算术〉及其刘徽注研究》序

　　在中外数学史讲习班开幕典礼上的讲话

　　数学机械化

　　《可剖形在欧氏空间中的实现问题》的绪论

　　印刷电路与集皇杂某成电路中的布线问题

　　集机立少攻过此宜成电路设计中的一个数学问题

　　拓扑中的量度与能计算性

　　博奕论杂谈:(一)二人博奕

　　数学的机械化

　　几何定理的机器证明

　　数学的机械化问题

　　权数学中的公理化与机械化思想

　　几何定理机器证明

　　初等几何判定问题与机械化证明

　　几何学机械化方法及其两助草张应用

　　数学的机械化与机械化测破死停肥连呀的数学

　　《几何定理机器证明的基本原理(初等几何部分)》

　　的导言

　　复兴构造性都的数学

　　分角线相等的三角形

　　解方程器或SOLVER软件系统概述

　　解方程器或SOLVER软件系统应用举例

　　解方程器软件包(EQNS―SOLVER)

　　附 录

　　On the de交解cisionpr练台析整某穿汽oblemandthe mech但牛妒把anization

　　oftheorem-proving inel苦调耐ementary geomet掌气动升宁宜化ry

　　Toward mechanizationofgeometrysome

　　commentsonHilbert's"Grundlagender Geometrie'

　　Someremark半打等酒传异城难亲各达sonmechanicaltheorem-proving

　　inelementarygeometry

　　Automationoftheorem-proving

　　Asurveyofdevelopmentsofmathematics

　　mechanizationinChina

　　Onthedevelopment察报派前住校起是ofpolynomialequations

　　sol通复各vinginChina

　　Polynomialequations-solvinganditsapplications