收获的90年代

为了支持吴文俊的数学机械化工作,陈省身创办的南开数学所在1991年举办了“计算机数学年”。学术年内,组织了第一次数学机械化研讨会,国内几十位专家参加会议,数学机械化研究的队伍已粗具规模。同年,吴文俊荣获第三世界科学 ......（本文共 2123 字 , 1 张图）     [阅读本文] >>