即将于希腊Kalamata召开的第45届国际符号和代数计算会议(ACM ISSAC'20)上，实验室有4篇论文被录用。ISSAC是符号和代数计算方面最权威的国际会议, 会议论文集收录了该年度符号计算方向最前沿的研究成果。 接收论文信息如下(来自：http://www.issac-conference.org/2020/papers.php)：

1) Shaoshi Chen, Lixin Du, Manuel Kauers, and Thibaut Verron, Integral Bases for P-Recursive Sequences 

2) Hao Du, Jing Guo, Ziming Li, and Elaine Wong. An Additive Decomposition in Logarithmic Towers and Beyond 

3) Dong Lu, Dingkang Wang, and Fanghui Xiao. Further Results on the Factorization and Equivalence for Multivariate Polynomial Matrices 

4) Dingkang Wang, Hesong Wang, and Fanghui Xiao. An Extended GCD Algorithm for Parametric Univariate Polynomials and Application to Parametric Smith Normal Form