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

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

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

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

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