吴文俊的数学 冷知识 2025-04-11 03:30:09 690 吴文军对数学的主要领域拓扑学做出了巨大贡献。他介绍的显式类和嵌入类称为“吴显式类”和“吴嵌入类”，他导出的显式类之间的关系称为“吴公式”。他的工作是20世纪50年代前后拓扑学的重大突破之一，并成为影响深远的经典成就。20世纪70年代末，他开创了数学机械化的新领域，提出了用计算机证明几何定理的“吴法”，这被认为是自动推理领域的一项开创性工作。他是中国最具国际影响力的数学家之一。他的工作对数学和计算机科学的研究有着深远的影响。