数学与数学机械化：中英对照

　　本书分为四部分。第一部分介绍了吴文俊院士的科学成就，包括他在拓扑学、数学机械化、数学史以及自动布线等方面的工作，其他三部分则是“数学与数学机械化”研讨会与会者的专题研究论文，其中反映了吴文俊数学思想广泛而深远的影响。

暂缺《数学与数学机械化：中英对照》作者简介