实验室吕卓生博士获得2004年度"中国科学院王宽诚博士后工作奖励基金"和"中国博士后科学基金"资助.
"数学机械化重点实验室"和加拿大"西安大略计算机代数研究中心" (ORCCA)于2004年12月3日签定了合作备忘录.ORCCA研究人员来自于滑铁卢大学,西安大略大学,和MAPLE公司,是世界上符号计算最具影响的研究群体之一.实验室和ORCCA将继续在消元理论,混合计算,软件开发等领域加强合作,并共同申请两国的相关科研项目.
2004年11月8-9日,数学机械化重点实验室在香山别墅举行了实验室战略发展学术研讨会.李邦河院士介绍了吴方法和特征列在代数几何中的应用,刘木兰介绍了信息安全理论的发展,李洪波介绍了零括号代数及