【吴氏方法】数学家吴文俊关于几何定理机器证明的方法被国际上誉为“吴氏方法”；另外还有以他命名的“吴氏公式”。

　　吴文俊，中国人，1919年5月12日生于上海。1940年毕业于交通大学，1949年在法国斯特拉斯堡大学获博士学位。1951年回国，1957年任中国科学院学部委员，1984年当先为中国数学理事长。吴文俊在数学上作出了许多重大的贡献。

　　拓扑学方面，在示性类、示嵌类等领域获得一系列成果，还得到了许多著名的公式，指出了这些理论和方法的广泛应用。他还在拓扑不变量、代数流形等问题上有创造性工作。1956年吴文俊因在拓扑学中的示性类和示嵌类方面的卓越成就获中国自然科学奖一等获。

　　机器证明方面，从初等几何着手，在计算机上证明了一类高难度的定理，同时也发现了一些新定理，进一步探讨了微分几何的定理证明。提出了利用机器证明与发现几何定理的新方法。这项工作为数学研究开辟了一个新的领域，将对数学的革命产生深远的影响。1978年获全国科学大会重大科技成果奖。

　　中国数学史方面，吴文俊认为中国古代数学的特点是：从实际问题出发，经过分析提高，再抽象出一般的原理、原则和方法，最终达到解决一大类问题的目的。他对中国古代数学在数论、代数、几何等方面的成就也提出了精辟的见解。