即将于意大利举行的第31届国际符号和代数计算会议(ISSAC'06)中，数学机械化重点实验室有3篇文章被接受。ISSAC是符号和代数计算方面最权威的国际会议。符号计算与数学机械化研究密切相关。 吴文俊先生曾应邀在ISSAC'87和ISSAC'05上做邀请报告。 数学机械化重点实验室成员自1990年以来在ISSAC大会上做了32次报告，占国内在这一会议上报告的绝大多数。三篇被接受论文是：

1．   Xiao-Shan Gao and Chun-Ming Yuan, Resolvent Systems of Difference Polynomial Ideals

2.      Erich Kaltofen, Zhengfeng Yang and Lihong Zhi, Approximate greatest common divisors of several polynomials with linearly constrained coefficients

       and  singular polynomials

3.      Ziming Li, Michael Singer, Min Wu and Dabin Zheng, A Recursive Method for Determining the One-Dimensional Submodules of Laurent-Ore

       Modules