吴方法

70年代后期，在计算机技术大发展的背景下，吴文俊继承和发展了中国古代数学的传统(即算法化思想)，转而研究几何定理的机器证明，彻底改变了这个领域的面貌，是国际自动推理界先驱性的工作，被称为"吴方法"，产生了巨大影响。吴的研究取得了一系列国际领先成果并已应用于国际上当前流行的符号计算软件方面。1940年毕业于上海交通大学数学系。1979年至现在任中国科学院系统科学研究所副所长、名誉所长、研究员。