Conference Overview

In May 12th, 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 mathematics and computer research by his great contributions to the field of topology and the opening of the new area of Mathematics Mechanization. His research includes algebraic topology, differential topology, mathematics mechanization, algebraic geometry, game theory as well as the history of mathematics. His work has been regarded as among the greatest classical influential results in topology. In late 1970s, he opened the area of mathematics mechanization by the so-called ¡®Wu method¡¯ which automatically proves geometric theorems using computers and was taken as the pioneer work in automatic reasoning. The symposium focuses on his achievements in topology, mathematics mechanization as well as the history of mathematics, and casts light on their future prospects and potential applications.


Specific topics for the symposium include but are not limited to:
Organized by

Key Laboratory of Mathematics Mechanization

Sponsored by

Hua Loo-Keng Centre for Mathematical Sciences


National Natural Science Foundation of China


Academy of Mathematics and Systems Science


Key Laboratory of Mathematics Mechanization