文章阅读

吴文俊——从拓扑学到数学机械化

吴文俊是中国少数几位有国际声誉和重要影响的数学家之一。本文简短地介绍吴文俊不平坦 的学术经历,着重论述他在拓扑学及数学机械化的学术成就及影响。 更多还原