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

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

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

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

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