吴文俊教授是我国杰出的老一辈数学家,50年代他曾因在拓扑方面的突出工作获得首届国家自然科学一等奖。70年代初开始从事计算机数学方面的研究工作。十几年来,他从几何定理证明的机械化人手,在世界上首先创立和发展了机器证明理论,这个理论被国际上誉为“吴方法”。吴方法的核心部分是数学研究中的方程求解,即把几何中,拓扑中乃至整个数学和人们思 Professor Wu Wenjun is an outstanding older generation mathematician in our country. In the 1950s, he won the First National Natural Science Prize for outstanding work in topology. Early 70s began to engage in computer mathematics research work. For more than a decade, he has first established and developed the theory of machine certification in the world from the mechanized manpower proven by geometric theorems. This theory is internationally praised as the “Wu Method.” The key part of Wu's method is the solving of equations in mathematical research, that is to say, in geometry, topological and even whole mathematics and people think