吳氏方法

數學家吳文俊關於幾何定理機器證明的方法被國際上譽為“吳氏方法”；另外還有以他命名的“吳氏公式”。
吳文俊，中國人，1919年5月12日生於上海。1940年畢業於交通大學，1949年在法國斯特拉斯堡大學獲博士學位。1951年回國，1957年任中國科學院學部委員，1984年當先為中國數學會理事長。吳文俊在數學上作出了許多重大的貢獻。
拓撲學方面，在示性類、示嵌類等領域獲得一系列成果，還得到了許多著名的公式，指出了這些理論和方法的廣泛套用。他還在拓撲不變數、代數流形等問題上有創造性工作。1956年吳文俊因在拓撲學中的示性類和示嵌類方面的卓越成就獲中國自然科學獎一等獲。
機器證明方面，從初等幾何著手，在計算機上證明了一類高難度的定理，同時也發現了一些新定理，進一步探討了微分幾何的定理證明。提出了利用機器證明與發現幾何定理的新方法。這項工作為數學研究開闢了一個新的領域，將對數學的革命產生深遠的影響。1978年獲全國科學大會重大科技成果獎。
中國數學史方面，吳文俊認為中國古代數學的特點是：從實際問題出發，經過分析提高，再抽象出一般的原理、原則和方法，最終達到解決一大類問題的目的。他對中國古代數學在數論、代數、幾何等方面的成就也提出了精闢的見解。