吴文俊
维基百科，自由的百科全书
吴文俊（1919年5月12日－），浙江嘉兴人，出生于中国上海，数学家。吴文俊的研究工作涉及到数学的诸多领域其主要成就表现在拓扑学和数学机械化两个领域。他为拓扑学做了奠基性的工作。他的示性类和示嵌类研究被国际数学界称为“吴公式”、“吴示性类”、“吴示嵌类”至今仍被国际同行广泛引用。
吴文俊毕业于交通大学，1949年获得法国斯特拉斯堡大学博士学位。70年代后期，在计算机技术大发展的背景下，他继承和发展了中国古代数学的传统的算法化思想，转而研究几何定理的机器证明，彻底改变了这个领域的面貌，是国际自动推理界先驱性的工作，被称为吴特征列方法，产生了巨大影响。吴的研究取得了一系列国际领先成果并已应用于国际上当前流行的符号计算软件方面。
吴文俊现在是中国科学院系统科学研究所名誉所长，他获得多项国内外奖，1997年获自动推理领域最高奖Herbrand Award，2006年獲邵逸夫獎數學科學獎。
编号第7683号小行星被永久命名为“吴文俊星”。
著作 [编辑]
- 吴文俊 《数学机械化》 中国科学出版社 2003
- 《吴文俊文集》 山东教育出版社 1986
- 吴文俊 《力学在几何中的一些应用》 科学出版社 2002
- 吴文俊主编 《中国数学史大系》 1-10卷 北京师范大学出版社
- Wen-Tsun, Wu:Rational Homotopy Type: A Constructive Study Via the Theory of the I*-Measure ISBN 0-387-13611-8
- Wen-tsun, Wu & Min-de, Cheng, CHINESE MATHEMATICS INTO THE 21ST CENTURY
- Wen-tsun, Wu, A THEORY OF IMBEDDING IMMERSION AND ISOTOPY OF POLYTOPES IN A EUCLIDEAN SPACE
- Wen-tsun, Wu,Mechanical Theorem Proving in Geometries. ISBN 3211825061
- Wen-Tsun, Wu; Georges Reeb:Sur Les Espaces Fibres Et Les Varietes Feuilletees
- SELECT WORKS OF WEN-TSUN WU ISBN 9789812791078
- Wen-tsun, Wu: Mathematics Mechanization: Mechanical Geometry Theorem-Proving, Mechanical Geometry Problem-Solving and Polynomial Equations-Solving ISBN 0-7923-5835-X
- Wen-Tsun, Wu, and Hu Guo-Ding, eds, Computer Mathematics ISBN 9810215282
外部连接 [编辑]
|
|
|||||
|
|||||||||||
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||
