立的中国科学院数学与系统科学研究院。从1946年到1951年，主要从事施蒂费尔-惠特尼示性类的研究工作。从1953年到1957年，主要从事庞特里亚金示性类的研究工作。其后，转向示嵌类的研究。70年代后期，在计算机技术大发展的背景下，吴文俊继承和发展了中国古代数学的传统的算法化思想，转而研究几何定理的机器证明，彻底改变了这个领域的面貌，是国际自动推理界先驱性的工作，被称为吴特征列方法，产生了巨大影响。吴文俊的研究取得了一系列国际领先成果并已应用于国际上当前流行的符号计算软件方面。1985年至1987年