“第四届全国计算机数学学术会议”征文

摘要

中国数学会将于2011年11月25－28日在广州举行“第四届全国计算机数学学术会议”。征文范围：数学机械化理论、算法和软件实现；符号计算，符号与数值混合计算：自动推理与机器证明；计算机数学在信息安全、程序验证、机器人和数控系统中的应用：计算机图形学、模式识别等高科技领域中的数学方法；计算机数学在物理、化学、生物和工程中的应用。