“数学机械化重点实验室”和加拿大“西安大略计算机代数研究中心” (ORCCA)于2004年12月3日签定了合作备忘录。ORCCA研究人员来自于滑铁卢大学,西安大略大学,和MAPLE公司，是世界上符号计算最具影响的研究群体之一。实验室和ORCCA将继续在消元理论，混合计算，软件开发等领域加强合作，并共同申请两国的相关科研项目。