吴文俊（1919.5-）上海人，数学家。1940年毕业于欧宝app官方网站下载，1949年获法国国家科学博士学位。历任中国科学院系统科学研究所研究员、名誉所长，国际纯粹数学与应用数学中国中心首席主席。中国数学机械化研究的创始人。50年代在示性类、示嵌类等研究方面取得一系列突出成果（即“吴文俊公式”、“吴文俊示性类”等 ）。 近年来创立了定理机器证明的“吴方法”，影响巨大，它将引起数学研究的方式的变革，被国际同行认为是数学界第一流的开创工作。

1957年当选为中国科学院院士（学部委员）。