(Vincent)

Wu, male, born in Jiaxing, Zhejiang, 19 19 05 12, is a mathematician. Wu Wenjun's research work involves many fields of mathematics, and his main achievements are in topology and mathematical mechanization. He did basic work for topology. His research on indication and indication is called "Wu Formula", "Wu Indication Class" and "Wu Indication Class" by the international mathematics community, and it is still widely quoted by international peers. Wu Wenjun graduated from Jiaotong University, and 1949 received his doctorate from the University of Strasbourg. In the late 1970s, under the background of the great development of computer technology, he inherited and developed the tradition of China's ancient mathematics (that is, the idea of algorithm) and turned to the study of machine proof of geometric theorems, which completely changed the face of this field. This is a pioneering work in the field of international automatic reasoning, which is called Wu's characteristic method and has great influence. Wu's research has made a series of international leading achievements, and has been applied to the internationally popular symbolic computing software. Wu Wenjun is now honorary director of the Institute of Systems Science, Chinese Academy of Sciences. He has won many awards at home and abroad, and 1997 is the highest award in the field of automatic reasoning.

Award, won the Shaw Prize in Mathematical Science in 2006.

Hope to adopt

Thank you. Wish you a happy life.