发布时间：2009-05-20 | 来源：系统所
5月11-13日，数学机械化国际研讨会在中国科学院数学与系统科学研究院思源楼学术报告厅成功召开，会议由中科院数学机械化重点实验室主办，得到了国家基金委、中科院数学与系统科学研究院、中科院系统所的支持。
