即将于意大利举行的第31届国际符号和代数计算会议(ISSAC'06)中，数学机械化重点实验室有3篇文章被接受。该实验室成员自1990年以来在ISSAC大会上做了32次报告，占国内在这一会议上报告的绝大多数。