吴文俊的数学

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