Math 版 (精华区)

发信人: lhqian (一心一意的革命者), 信区: Math
标  题: 吴文俊
发信站: 紫 丁 香 (Wed Jan 12 12:15:55 2000) WWW-POST

 

  吴文俊

中国科学院院士

吴文俊院士在示性类与示嵌类上做出了十分卓越的研究工作后,近二十年来,从几何定理的
机器证明入手，创立了一整套机械化数学理论，在国际上被誉为“吴方法”。该方法已在
计算机图形学、机械设计、理论物理等领域获得重要应用。1991年获得第三世界科学院数
学奖、1997年获Herbrand 自动推理成就奖。

　
 
 

--
玉炉冰簟鸳鸯锦，粉融香汗流山枕。
外辘轳声，
敛眉含笑惊。
柳阴烟漠漠，低鬓蝉钗落。
须作一生拼，尽君今日欢。

※ 来源:·紫 丁 香 bbs.hit.edu.cn·[FROM: 159.226.92.142]