收獲的90年代
吳文俊傳

收獲的90年代圖片（共1張） :

        為了支持吳文俊的數學機械化工作,陳省身創辦的南開數學所在1991年舉辦了“計算機數學年”。學術年內,組織了第一次數學機械化研討會,國內幾十位專家參加會議,數學機械化研究的隊伍已粗具規模。同年,吳文俊榮獲第三世界科學    （共 2123 字）     [閱讀本文] >>