新华社北京５月１１日电（记者董瑞丰）著名数学家、首届国家最高科技奖得主吴文俊先生的遗体告别仪式１１日上午在北京八宝山举行，社会各界一千余人前往送别。

白色的花圈和挽联布满悼念大厅的四周。“文华逾九章，拓扑公式彪史册；俊杰胜十书，机器证明誉寰球。”大厅正门前的挽联黑底白字，为先生的毕生所成写下注解。

哀乐声中，人群肃穆前行，向先生遗体躬身告别。其中不乏白发苍苍的老学者，有的专程还从海外赶回来，为吴文俊先生送上最后一程。

吴文俊是中国数学界的泰山北斗，也是中国最具国际影响的数学家之一，其工作对数学与计算机科学研究影响深远。

在学术生涯前半段，他致力于拓扑学的研究。拓扑学是现代数学中一个非常重要的领域，吴文俊由繁化简，由难变易，开创性地提出“吴公式”，被早一辈数学大师陈省身称赞为“划时代的贡献”。１９５６年，吴文俊与华罗庚、钱学森一起获得首届国家自然科学一等奖。

在学术生涯后半段，吴文俊开创了崭新的数学机械化领域。上世纪７０年代后期，他提出用计算机证明几何定理的“吴方法”，开辟了近代数学史上的第一个由中国人原创的研究领域。这一方法实现将繁琐的数学运算证明交由计算机完成的目标，后来被用于解决曲面拼接、计算机视觉等多个高技术领域核心问题。

吴文俊的各项独创性研究工作使他在国际、国内享有很高声誉。２０００年，吴文俊与袁隆平一起获得首届国家最高科技奖。　　２０１７年５月７日，中国科学院数学与系统科学研究院发布讣告：当天７时２１分，中国科学院院士吴文俊因病医治无效，在北京逝世，享年９８岁。