最近更新

主办单位

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

承办单位

广州大学计算机科学与教育软件学院

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

会议资助

中国科学院国家数学与交叉科学中心

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