学的传统的算法化思想，转而研究几何定理的机器证明，彻底改变了这个领域的面貌，是国际自动推理界先驱性的工作，被称为吴特征列方法，产生了巨大影响。吴文俊的研究取得了一系列国际领先成果并已应用于国际上当前流行的符号计算软件方面。1985年至1987年任中国数学会理事长。1992年至1994年任中国科学院数理学部主任。1979年至1998年任全国政协委员、常委。1993年开始任中国科学院系统所名誉所长。2002年当选国际数学家大会主席。2017年5月7日，因病医治无效，在北京去世，享年98岁。2019年9月