推荐文档列表
吴文俊:从寓理于算到机器证明
从1956年37岁荣获首届国家自然科学一等奖,到2006年87岁荣获邵逸夫国际数学奖,整整半个世纪以来,数学大师吴文俊不知获得过多少国内国际数学和科学大奖.