12月2日上午，国务院国务委员刘延东、中国科学院院长路甬祥等领导参加国家数学与交叉研究中心成立仪式，并到数学机械化重点实验室考察工作，听取了数学机械化方法的应用研究，特别是近期在数控系统方面取得进展。