吴文俊:从寓理于算到机器证明

吴文俊:从寓理于算到机器证明

从1956年37岁荣获首届国家自然科学一等奖,到2006年87岁荣获邵逸夫国际数学奖,整整半个世纪以来,数学大师吴文俊不知获得过多少国内国际数学和科学大奖.

作 者： 王渝生 WANG Yusheng   作者单位： 北京市科协  刊 名： 科技导报  ISTIC PKU 英文刊名： SCIENCE & TECHNOLOGY REVIEW  年，卷(期)： 2008 26(1)  分类号：   关键词：  

【吴文俊:从寓理于算到机器证明】相关文章：

贺新郎·兵后寓吴_蒋捷的词原文赏析及翻译02-28

寓兴,寓兴欧阳詹,寓兴的意思,寓兴赏析 -诗词大全03-13

京城寓怀,京城寓怀张祜,京城寓怀的意思,京城寓怀赏析 -诗词大全03-13

洛阳感寓,洛阳感寓张祜,洛阳感寓的意思,洛阳感寓赏析 -诗词大全03-13

文状元640高三理改文 理冠军699最爱张信哲05-04

听教育专家姚文俊专题报告心得04-28

初秋寓直三首,初秋寓直三首郑畋,初秋寓直三首的意思,初秋寓直三首赏析 -诗词大全03-13

早春左省寓直,早春左省寓直徐铉,早春左省寓直的意思,早春左省寓直赏析 -诗词大全03-13

渡江云三犯·西湖清明_吴文英_原文及赏析03-01

《旅寓安南》原文及赏析02-27