最近更新

主办单位

中国数学会计算机数学专业委员会

承办单位

吉林大学数学学院

中国科学院数学机械化重点实验室

协办单位

吉林省计算中心

会议资助

973项目“数学机械化方法及其在数字化设计制造中的应用”