#纪念吴文俊院士106岁诞辰#
吴文俊（1919年5月12日–2017年5月7日），上海人，籍贯浙江嘉兴。中国科学院院士，中国拓扑学奠基者与数学机械化开拓者。1957年获国家自然科学奖一等奖，2000年获得国家最高科学技术奖。吴文俊提出用计算机证明几何定理的“吴方法”，开创了近代数学史上的第一个由中国人原创的研究领域——数学机械化。此研究推理领域的先驱性工作，对数学与计算机科学研究影响深远。今天，纪念吴文俊院士的106岁诞辰！ http://t.cn/A6gw9lZa