吴文俊（1919－2017年），数学家，中国科学院院士，中国科学院数学与系统科学研究院研究员，系统科学研究所名誉所长。中国数学机械化研究的主要创始人之一。

1919年5月12日，吴文俊出生于上海，祖籍浙江嘉兴。 1940年，吴文俊毕业于交通大学数学系。1946年，在上海中央研究院数学研究所任实习研究员。1949年，获法国斯特拉斯堡大学博士学位。1951年9月任北京大学数学系教授。1952年10月任中国科学院数学研究所研究员。1957年1月当选为中国科学院学部委员（后称院士）。1958年至1970年担任中国科技大学数学系副主任。1979年10月至1998年，任中国科学院系统科学研究所研究员。1984年当选为中国数学会理事长。1991年当选为第三世界科学院院士。1998年12月任中国科学院系统科学研究所名誉所长、中国数学会名誉理事长。2017年5月7日，吴文俊在北京辞世，享年98岁。 

吴文俊在拓扑学、自动推理、机器证明、代数几何、中国数学史、对策论等研究领域里均有杰出的贡献。拓扑学是现代数学的支柱之一，也是许多数学分支的基础。上世纪50年代前后，吴文俊对数学的主要领域—拓扑学做出了重大贡献。他将示性类概念从繁化简，从难变易，形成了系统的理论。他引进的示性类和示嵌类被称为“吴示性类”和“吴示嵌类”，他导出的示性类之间的关系式被称为“吴公式”。他在拓扑学的示性类、示嵌类的研究方面取得一系列重要成果，是拓扑学中的奠基性工作并有许多重要应用。 

1970年代后期，他开创了崭新的数学机械化领域，提出了用计算机证明几何定理的“吴方法”，被认为是自动推理领域的先驱性工作。吴文俊特别重视数学机械化方法的应用，不断开拓新的应用领域，如控制论、曲面拼接问题、机构设计、化学平衡问题、平面天体运行的中心构形等，还建立了解决全局优化问题的新方法。他的开拓性成果，导致了大量的后续性工作。在非线性方程组求解的方向上，他建立的吴消元法是求解代数方程组最完整的方法之一，是数学机械化研究的核心。吴消元法还被用于若干高科技领域，得到一系列国际领先的成果，包括曲面造型、机器人结构的位置分析、智能计算机辅助设计（CAD）、信息传输中的图像压缩等。数学机械化研究是由中国数学家开创的研究领域，并引起国外数学家的高度重视。吴文俊是我国最具国际影响的数学家之一，他的工作对数学与计算机科学研究影响深远。他在研究中国数学史等领域也做出了巨大的贡献。

吴文俊曾获得首届国家最高科技奖（2000年）、首届国家自然科学一等奖（1956年）、首届求是杰出科学家奖（1994年）、邵逸夫数学奖（2006年）、国际自动推理最高奖——埃尔布朗自动推理杰出成就奖（1997年）等。2010年，经国际天文学联合会小天体命名委员会批准，国际编号第7683号小行星被永久命名为“吴文俊星”。词曰：

沁园春·吴文俊

博闻强记，朝斯夕斯，钝学累功。挑战拓扑学，由繁化简，由难变易，优化系统。“吴示性类”，“吴示嵌类”，寻求突破引航程。“吴公式”，开辟新天地，中外称颂。

大师儒雅谦恭，措置裕如左右开弓。数学机械化，计算证明，自动推理，初获成功。“吴消元法”，广泛应用，开创领域新途径。里程碑，看天际闪烁，“吴文俊星”。