论文部分内容阅读
他的研究成果遍布于拓扑学、自动推理、机器证明、代数几何、中国数学史、对策论等各个领域,其中主要体现在拓扑学和数学机械化两个领域; 他在被称为“现代数学的女王”——拓扑学研究领域里取得的一系列奠基性研究成果,被冠之于“吴示性类”、“吴示嵌类”而享誉国内外,被称为“拓扑学的地震”,数学界公认,在拓扑学的研究中,他起到了承前启后的作用; 他受计算机与古代传统数学的启发,形成了初等几何定理的机械化证明的思想,在国际机器证明领域产生巨大的影响,开创了机器定理证明的时代,被国际上称为“吴文俊方法”和“吴消元法”; 他的许多成就正被应用于若干高科技领域;已取得一系列国际领先的成果,在他的带领和影响下,形成了一支高水平的数学机械化研究队伍,在国际上被称为“吴学派”。
His research achievements are in various fields such as topology, automatic reasoning, machine proof, algebraic geometry, Chinese history of mathematics, game theory, etc., which are mainly embodied in the fields of topology and mathematical mechanization. Queen “- a series of groundbreaking research achievements in the field of topological research, which is renowned both at home and abroad as” Wu Wu Xing Classes “and” Wu Xian Classes “and is called” topological earthquake “ The mathematics community acknowledges that he played an important role in the study of topology. He was inspired by the computer and the ancient traditional mathematics to form the mechanized proof of the elementary geometric theorem, which had a huge impact in the field of international machine proof. The era of machine theorem proved to be internationally known as the ”Wu Wenjun Method“ and ”Wu elimination method“; many of his achievements are being applied to a number of high-tech fields; has made a series of leading international achievements in his leadership And under the influence of the formation of a high level of mathematical mechanization research team, in the international arena called ”Wu School."