|
2011-08-11
|
Title
|
第四届全国计算机数学学术会议
|
|
Time
|
November 25 - 28, 2011
|
|
Venue
|
广州大学
|
|
Website
|
http://www.mmrc.iss.ac.cn/cscm/cm2011
|
|
Introduction
|
全国计算机数学学术会议是由中国数学会下属的计算机数学专业委员会主办的系列学术会议。本次会议由广州大学计算机科学与教育软件学院和中国科学院数学机械化重点实验室承办， 将于2011年11月25日至28日在广州大学举行。为了总结和交流国内外计算机数学研究的最新成果, 会议将组织大会邀请报告和分组报告等学术活动。被接受稿件的作者将在会议上作学术报告。本次会议印刷非正式文集供会议交流。优秀中文论文将在《系统科学与数学》杂志上发表。优秀英文论文将推荐到《Journal of Systems Science and Complexity》。
|
|
Topics
|
会议主题包括（但不限于）以下研究方向： 数学机械化理论、算法和软件实现； 符号计算，符号与数值混合计算； 自动推理与机器证明； 计算机数学在信息安全、程序验证、机器人和数控系统中的应用； 计算机图形学、模式识别等高科技领域中的数学方法； 计算机数学在物理、化学、生物和工程中的应用。
|
|
