“矛盾”的数学家——中国数学机械化、拓扑学研究的奠基者吴文俊  

作　　者：操秀英 

出　　处：《中国科技奖励》2016年第6期46-51,共6页China Awards for Science and Technology

摘　　要：20世纪70年代后期,在计算机技术大发展的背景下,他继承和发展了中国古代数学的传统(即算法化思想),转而研究几何定理的机器证明,彻底改变了这个领域的面貌,是国际自动推理界先驱性的工作,被称为"吴特征列方法",产生了巨大影响。

关 键 词：数学机械化 拓扑学 吴文俊 数学家 中国 示性类 吴公式 国际 

分 类 号：O112[理学—数学]