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