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

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

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

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

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