会议名称(中文): 第六届全国计算机数学学术会 所属学科: 计算数学与科学工程计算,应用数学,计算机科学理论 开始日期: 2014-10-31 结束日期: 2014-11-03 所在国家: 中华人民共和国 所在城市: 重庆市 渝中区 主办单位: 中国数学会计算机数学专业委员会 承办单位: 中国科学院重庆绿色智能技术研究院 中国科学院数学机械化重点实验室
[ 组织结构 ] 会议主席: 周巢尘 中国科学院软件研究所 组织委员会主席: 吴文渊 中国科学院重庆绿色智能技术研究院 冯如勇 中国科学院数学与系统科学研究院 程序委员会主席: 陈发来 中国科学技术大学
[ 会务组联系方式 ] 会议网站: http://www.mmrc.iss.ac.cn/cscm/cm2014/ 会议背景介绍: 全国计算机数学学术会议是由中国数学会下属的计算机数学专业委员会主办的系列学术会议。会议旨在为全国从事计算机数学的科研人员提供一个总结和交流国内外计算机数学研究最新成果的平台。会议主题包括(但不限于)以下研究方向: 数学机械化理论、算法和软件实现; 符号计算,符号与数值混合计算; 自动推理与机器证明; 计算机数学在信息安全、程序验证、机器人和数控系统中的应用; 计算机图形学、模式识别等高科技领域中的数学方法; 计算机数学在物理、化学、生物和工程中的应用; 计算机技术在数学教育中的应用。 |