吴文俊院士获首届国家最高科学技术奖庆贺会暨数学机械化方法应用推广会在京举行  

作　　者：杨永田[1] 

机构地区：[1]《科学新闻》记者

出　　处：《科学新闻》2001年第13期14-14,共1页Science News

摘　　要：吴文俊院士荣获首届国家最高科学技术奖庆贺会暨数学机械化方法应用推广会3月29日上午在中科院基础研究园区学术报告厅举行。路甬祥、朱丽兰、王乃彦、杨乐和张恭庆发表了热烈的贺辞，北大信息中心石青云院士等学者做了有关数学机械化方法应用于不同领域的学术报告。82高龄的吴文俊院士体格健朗，精神矍铄，就他在系统研究中国数学史的同时，结合现代数学发展的进程，开创数学机械化方法的簇新研究领域。

关 键 词：科学技术奖 数学机械化 计算机证明 几何定理 吴文俊院士 

分 类 号：G316[文化科学] G633.6