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

Abstract

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 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, di.erential 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: •Algebraic topology •Automated reasoning •Computational algebraic geometry and optimization •Computational geometry and topology •Computational number theory •Coding theory and cryptology •Di.erential and di.erence algebras •History of mathematics •Polynomial equation solving •Symbolic or symbolic-numeric computation •Applications of mathematical mechanization