征稿已开启

查看我的稿件

注册已开启

查看我的门票

已截止
活动简介
全国计算机数学学术会议是由中国数学会下属的计算机数学专业委员会主办的系列学术会议。本次会议由吉林大学数学学院和中国科学院数学机械化重点实验室承办, 将于2013年8月18日至21日在吉林大学举行。 为了总结和交流国内外计算机数学研究的最新成果, 会议将组织大会邀请报告和分组报告等学术活动。被接受稿件的作者将在会议上作学术报告。本次会议印刷非正式文集供会议交流。优秀中文论文将在《系统科学与数学》杂志上发表。优秀英文论文将推荐到《Journal of Systems Science and Complexity》。
征稿信息

征稿范围

会议主题包括(但不限于)以下研究方向: 数学机械化理论、算法和软件实现; 符号计算,符号与数值混合计算; 自动推理与机器证明; 计算机数学在信息安全、程序验证、机器人和数控系统中的应用; 计算机图形学、模式识别等高科技领域中的数学方法; 计算机数学在物理、化学、生物和工程中的应用。
留言
验证码 看不清楚,更换一张
全部留言
重要日期
  • 会议日期

    08月18日

    2013

    08月21日

    2013

  • 08月21日 2013

    注册截止日期

主办单位
中国数学会计算机数学专业委员会
承办单位
吉林大学数学学院和中国科学院数学机械化重点实验室
历届会议
移动端
在手机上打开
小程序
打开微信小程序
客服
扫码或点此咨询