“数学机械化国际研讨会——庆祝吴文俊院士90华诞学术会”隆重召开

2009年5月ll－13日，数学机械化国际研讨会在中国科学院数学与系统科学研究院思源楼学术报告厅成功召开，会议由中科院数学机械化重点实验室主办．得到了国家基金委、中科院数学与系统科学研究院、中科院系统所的支持．会议的主要内容包括：符号与混合计算、自动推理、多项式方程求解、微分代数、计算拓扑、数学史．