数学机械化进展综述

本文介绍数学机械化理论：构造性代数几何、构造性微分代数几何、构造性实代数几何、方程求解、与几何自动推理的主要进展及其在若干领域的应用．我们还提出了一些待解决的问题．

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

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

前言

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