research-article

Wen-Tsun Wu: His Life and Legacy

Author:

Xiao-Shan GaoAuthors Info & Claims

ACM Communications in Computer Algebra, Volume 51, Issue 2

Pages 73 - 79

https://doi.org/10.1145/3151131.3151136

Published: 10 October 2017 Publication History

Abstract

Professor Wen-Tsun Wu passed away on May 7, 2017, a few days ahead of his 98th birthday. Wu is one of the most influential Chinese mathematicians and computer scientists. In his early years, he made fundamental contributions to algebraic topology. In the late 1970s, Wu proposed the Wu's method of geometric theorem proving and founded the school of Mathematics Mechanization. His study on the ancient Chinese mathematics opened a new era in the field of history of Chinese mathematics. He also made contributions in the area of algebraic geometry, invariant theory, complex geometry, and game theory. His legacy consists not only of his academic work but also of several generations of scientists who learned from him the joy and enthusiasm of scientific research and the way to go about it.

References

[1]

W.T. Wu. On the product of sphere bundles and the duality theorem modulo two. Ann. of Math. 49(2), 641-653, 1948.

[2]

W.T. Wu. Sur L'existence d'un champ d'élèments de contact ou d'une structure complexe sur une sphére. C. R. Acad. Sci. 226, 2117-2119, 1948.

[3]

W.T. Wu. Classes caractéristiques et i-carrès d'une variétè. C. R. Acad. Sci. 230, 508-511, 1950.

[4]

W.T. Wu. Les i-carrés dans une variétè grassmanniènne. C. R. Acad. Sci. 230, 918-920, 1950.

[5]

W.T. Wu. Sur les espaces fibrés et les variétés feuilletées, Actualités Sci. Ind., No. 1183, Publ. Inst. Math. Univ. Strasbourg 11, Hermann & Cie, Paris, 1952.

[6]

W.T. Wu and J.H. Jiang. Essential equilibrium points of n-person non-cooperative games. Scientia Sinica, 12, 1307-1322, 1962.

[7]

W.T. Wu. A theory of imbedding, immersion, and isotopy of polytopes in a euclidean space. Science Press, Beijing, 1965.

[8]

W.T. Wu. The Chern characteristic classes on an algebraic variety (in Chinese). Shuxue Jinzhan, 8, 395-401, 1965.

[9]

W.T. Wu. Planar imbedding of linear graphs (in Chinese). Kexue Tongbao, 226-228 1973.

[10]

W.T. Wu. On the decision problem and the mechanization of theorem-proving in elementary geometry Scientia Sinica 21, 159-172, 1978. Re-published in Automated Theorem Proving: After 25 Years, 213-234, AMS Press, 1984.

[11]

W.T. Wu. Basic principles of mechanical theorem-proving in elementary geometries. J.Sys.Sci.& Math.Scis., 207-235, 1984. Re-published in J. Automated Reasoning, 2, 221-252, 1986.

Digital Library

[12]

W.T. Wu. Basic principles of mechanical theorem proving in geometries (in Chinese), Science Press, Beijing, 1984. English translation by D.M. Wang and X. Jin, Springer, 1994.

Digital Library

[13]

W.T. Wu. Recenct studies of the history of Chinese mathematics. Proc. ICM 1986, Amer. Math. Soc., 1657-1667, 1987.

[14]

W.T. Wu. Rational homotopy type - A constructive study via the theory of the I*-measure. Lect. Notes in Math., No. 1264, Springer Verlag, Berlin, 1987.

[15]

W.T. Wu. Mathematics mechanization. Science Press/Kluer Pub., 2000.

Recommendations

International Symposium on Wen-Tsun Wu's Academic Thought and Mathematics Mechanization

During May 12-17, 2019, shall we celebrate the late famous mathematician Wen-Tsun Wu's centenary birthday. Professor Wen-Tsun Wu is one of the most internationally influential mathematicians in China, who brought far-reaching influence on both ...
The Legacy of Mary Kenneth Keller, First U.S. Ph.D. in Computer Science
Profiles Mary Kenneth Keller who received the first Ph.D in Computer Science (1965, University of Wisconsin). Born Evelyn Marie Keller, she entered the Catholic congregation of the Sisters of Charity of the Blessed Virgin Mary (BVMs) and was given the ...
Robotics in my work and life
CHI EA '14: CHI '14 Extended Abstracts on Human Factors in Computing Systems

Margaret Atwood is a giant of modern literature who refuses to rest on her laurels. She has anticipated, satirized, and even changed the popular pre-conceptions of our time, and is the rare writer whose work is adored by the public, acclaimed by the ...

Comments

Information & Contributors

Information

Published In

cover image ACM Communications in Computer Algebra

ACM Communications in Computer Algebra Volume 51, Issue 2

June 2017

38 pages

ISSN:1932-2232

EISSN:1932-2240

DOI:10.1145/3151131

Editor:
Wen-shin Lee
University of Antwerp, Antwerp, Belgium

Issue’s Table of Contents

Copyright © 2017 Author.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 10 October 2017

Published in SIGSAM-CCA Volume 51, Issue 2

Check for updates

Qualifiers

Research-article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

0
Total Citations
66
Total Downloads

Downloads (Last 12 months)12
Downloads (Last 6 weeks)4

Reflects downloads up to 08 Feb 2025

Other Metrics

View Author Metrics

Citations

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Issue’s Table of Contents