數學手抄報的素材
吳文俊(Wentsun WU)，男，祖籍浙江嘉興人，1919年5月12日出生於中國上海，數學家。吳文俊的研究工作涉及到數學的諸多領域其主要成就表現在拓撲學和數學機械化兩個領域。他爲拓撲學做了奠基性的工作。他的示性類和示嵌類研究被國際數學界稱爲“吳公式”、“吳示性類”、“吳示嵌類”至今仍被國際同行廣泛引用。
吳文俊畢業於交通大學，1949年獲得法國斯特拉斯堡大學博士學位。70年代後期，在計算機技術大發展的背景下，他繼承和發展了中國古代數學的傳統(即算法化思想)，轉而研究幾何定理的機器證明，徹底改變了這個領域的面貌，是國際自動推理界先驅性的工作，被稱爲吳特徵列方法，產生了巨大影響。吳的研究取得了一系列國際領先成果並已應用於國際上當前流行的符號計算軟件方面。
吳文俊現在是中國科學院系統科學研究所名譽所長，他獲得多項國內外獎，1997年獲自動推理領域最高獎Herbrand Award ，2006年獲邵逸夫獎數學科學獎。
編號第7683號小行星被永久命名爲“吳文俊星”。
吳文俊1940年畢業於交通大學數學系，1949年獲法國國家博士學位。世界著名數學家， 中國科學院數學與系統科學研究院系統科學研究所研究員、名譽所長，中國數學會名譽理事長。中國數學機械化研究的創始人之一，現任中國科學院系統科學研究所名譽所長、研究員，中國科學院院士，第三世界科學院院士;曾任中國數學會理事長(1985-1987)，中國科學院數理學部主任(1992-1994)，全國政協委員、常委(1979-1998)。
他在拓撲學、自動推理、機器證明、代數幾何、中國數學史、對策論等研究領域均有傑出的 貢獻，在國內外享有盛譽。他在拓撲學的示性類、示嵌類的研究方面取得一系列重要成果，是拓撲學中的奠基性工作並有許多重要應用。他的“吳方法”在國際機器證明領域產生巨大的影響，有廣泛重要的應用價值。當前國際流行的主要符號計算軟件都實現了吳文俊教授的算法。
曾獲得首屆國家自然科學一等獎(1956)、中國科學院自然科學一等獎(1979)、第三世界科學院數學獎(1990)、陳嘉庚數理科學獎(1993)、首屆香港求是科技基金會傑出科學家獎(1994)、Herbrand自動推理傑出成就獎(1997)、首屆國家最高科學技術獎(2000)、第三屆邵逸夫數學獎(2006)。
2010年5月4日，國際小行星中心先後發佈公報通知國際社會，將國際永久編號第7683號小行星永久命名爲“吳文俊星”。
