前言

2010年10月19日至22日，第三届全国计算机数学学术会议在上海华东师范大学举行．来自中国科学院和全国各地高等院校共41个单位的150多名教师、研究生参加了本次学术会议．本次会议的主题包括数学机械化理论、算法和软件实现，符号与数值混合计算、可信计算等计算机数学的新方法，计算机数学在信息安全、程序验证、机器人和数控系统的应用，计算机图形学、模式识别、计算生物学等领域中的数学方法，其他计算机应用领域和软件设计领域的数学方法．华东师范大学杨路教授担任大会主席，