5月15日是中国科学院北京公众科学日。数学机械化重点实验室由博士生徐荣华介绍了实验室的基本情况和学术进展，程进三进行软件演示，引起参观者的浓厚兴趣。前来参观的人络绎不绝。参观者以北京地区的低年级大学生为主，不少人感言根据数学机械化理论和方法开发的软件，其功能超出他们的想象，期望以后来实验室学习深造。(05.18)