Foreword to the Special Issue

作     者：GAO Xiao-Shan LI Hongbo WANG Dongming 

作者机构：Key Laboratory of Mathematics Mechanization Academy of Mathematics and Systems Science University of Chinese Academy of Sciences Chinese Academy of Sciences LMIB–SKLSDE–School of Mathematics and Systems Science/Beijing Advanced Innovation Center for Big Data and Brain Computing Beihang University Centre National de la Recherche Scientifique 

出 版 物：《Journal of Systems Science & Complexity》 (系统科学与复杂性学报（英文版）)

年 卷 期：2019年第32卷第1期

页      面：1-2页

核心收录：

学科分类：07[理学] 0701[理学-数学] 070101[理学-基础数学] 

主　　题：shall celebrate centenary birthday established Mathematics 

摘      要：On May 12,2019 we shall celebrate the centenary birthday of the late Professor Wu Wen-Tsun (1919-2017),one of the most famous and influential mathematicians in *** made foundational contributions to the field of topology and established Mathematics Mechanization as a *** devoted himself to an academic career of more than six decades with leadership and extensive activities of research and education across mathematics to computer science and artificial *** scope of his research spans from algebraic topology, differential topology,and algebraic geometry to automated reasoning,symbolic computation, and game theory,and to the history of *** early work in topology was a major breakthrough,leading to well-known and now classical results including the characteristic class and formulas named after *** the late 1970s,he pioneered the research of Mathematics Mechanization through his invention of the Wu method,which revolutionized the field of automated reasoning.