2010年12月2日,国务院国务委员刘延东,中国科学院院长路甬祥等领导参加中国科学院国家数学与交叉研究中心成立仪式. 期间到数学机械化重点实验室考察工作,听取了数学机械化研究的最新进展,特别是近期在数控系统方面的工作. (新闻链接).(12/03/2010)
第三届全国计算机数学学术会议在上海华东师范大学举行.来自全国41个单位的150多名教师,研究生参加了本次学术会议. 南开大学陈永川,清华大学Jean-Pierre Jouannaud和贾仲孝,中国科学技术大学陈发在会议上做了邀请报告, 58名研究人 员在本次会议的分组会议上做了学术报告. 本次学术会议由中国数学学会计算机数学专业委员会主办,华东师范大学高可 信计