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

吴文俊——从拓扑学到数学机械化的论文吴文俊——从拓扑学到数学机械化的论文 吴文俊——从拓扑学到数学机械化的论文 【内容提要】吴文俊是中国少数几位有国际声誉和重要影响的数学家之一。本文简短地介绍吴文俊不