推荐文档列表

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

时间:2021-12-13 11:38:36 自然科学论文 我要投稿

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

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

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

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