Call for paper 〔OPEN〕

My submissions

〔CLOSED〕
Registration 〔OPEN〕

My tickets

〔CLOSED〕
Introduction

 全国计算机数学学术会议是由中国数学会下属的计算机数学专业委员会主办的系列学术会议。会议旨在为全国从事计算机数学的科研人员提供一个总结和交流国内外计算机数学研究最新成果的平台。

Call for paper

Important date

2017-09-15
Final paper submission deadline

Submission Topics

会议主题包括（但不限于）以下研究方向：

  • 数学机械化理论、算法和软件实现；

  • 符号计算，符号与数值混合计算；

  • 自动推理与机器证明；

  • 计算机数学在信息安全、程序验证、机器人和数控系统中的应用；

  • 计算机图形学、模式识别等高科技领域中的数学方法；

  • 计算机数学在物理、化学、生物和工程中的应用；

  • 计算机技术在数学教育中的应用。

Submit Comment
Verify Code Change Another
All Comments
Important Date

  • Conference Date

    Oct 18

    2017

    to

    Oct 21

    2017

  • Sep 15 2017

    Final Paper Deadline

  • Oct 21 2017

    Registration deadline

Sponsored By
湖南科技大学
中国科学院数学机械化重点实验室
Organized By
湖南科技大学
中国科学院数学机械化重点实验室
Contact Information
Login to view full contact details
Previous Conferences