收獲的90年代

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