數(shù)學(xué)家吳文俊關(guān)于幾何定理機器證明的方法被國際上譽為“吳氏方法”；另外還有以他命名的“吳氏公式”。

　　吳文俊，中國人，1919年5月12日生于上海。1940年畢業(yè)于交通大學(xué)，1949年在法國斯特拉斯堡大學(xué)獲博士學(xué)位。1951年回國，1957年任中國科學(xué)院學(xué)部委員，1984年當(dāng)先為中國數(shù)學(xué)理事長。吳文俊在數(shù)學(xué)上作出了許多重大的貢獻。

　　拓撲學(xué)方面，在示性類、示嵌類等領(lǐng)域獲得一系列成果，還得到了許多著名的公式，指出了這些理論和方法的廣泛應(yīng)用。他還在拓撲不變量、代數(shù)流形等問題上有創(chuàng)造性工作。1956年吳文俊因在拓撲學(xué)中的示性類和示嵌類方面的卓越成就獲中國自然科學(xué)獎一等獲。

　　機器證明方面，從初等幾何著手，在計算機上證明了一類高難度的定理，同時也發(fā)現(xiàn)了一些新定理，進一步探討了微分幾何的定理證明。提出了利用機器證明與發(fā)現(xiàn)幾何定理的新方法。這項工作為數(shù)學(xué)研究開辟了一個新的領(lǐng)域，將對數(shù)學(xué)的革命產(chǎn)生深遠的影響。1978年獲全國科學(xué)大會重大科技成果獎。

　　中國數(shù)學(xué)史方面，吳文俊認為中國古代數(shù)學(xué)的特點是：從實際問題出發(fā)，經(jīng)過分析提高，再抽象出一般的原理、原則和方法，最終達到解決一大類問題的目的。他對中國古代數(shù)學(xué)在數(shù)論、代數(shù)、幾何等方面的成就也提出了精辟的見解。