《吴文俊论数学机械化》

综合报告与论述1

数学3

数学概况及其发展9

关于教材的一点看法22

数学与四个现代化24

消除对数学的神秘感——推荐《数学译林》28

对中国传统数学的再认识30

《现代数学新进展》序45

《陈省身文选、传记、通俗演讲及其它》序55

《吴文俊文集》前言61

慎重地改革数学教育63

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

法国数学新派——布尔巴基派68

数学史71

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

近年来中国数学史的研究83

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

我国古代测望之学重差理论评介兼评数学史研究中某些方法问题112

《海岛算经》古证探源151

出入相补原理170

《＜九章算术＞注释》的序189

《＜九章算术＞与刘徽》序191

《秦九韶与＜数书九章＞》序193

《郭书春汇校＜九章算术＞》序194

《＜九章算术＞及其刘徽注研究》序197

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

数学机械化211

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

印刷电路与集成电路中的布线问题226

集成电路设计中的一个数学问题302

拓扑中的量度与能计算性337

博奕论杂谈：（一）二人博奕343

数学的机械化358

几何定理的机器证明366

数学的机械化问题373

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

几何定理机器证明378

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

几何学机械化方法及其应用418

数学的机械化与机械化的数学423

《几何定理机器证明的基本原理（初等几何部分）》的导言430

复兴构造性的数学440

分角线相等的三角形——初等几何机器证明问题449

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

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

解方程器软件包（EQNS-SOLVER）525

附录539

Onthe decision problem and the mechanization of theorem-proving in elementary geometry539

Toward mechanization of geometry——some comments on Hilbert s “Grundlagen der Geom-etrie”561

Some remarks on mechanical theorem-proving in elemen-tary geometry582

Automation of theorem-proving588

A survey of developments of mathematics mechanization in China596

On the development of polynomial equations solving in China631

Polynomial equations-solving and its applications641