即将于德国奥尔登堡（Oldenburg，Germany）召开的第51届国际符号和代数计算会议(ACM ISSAC'26)上，实验室有4篇论文被录用。实验室李子明研究员受邀将做关于“Complete Reductions for Symbolic Integration”的短课程讲座（Tutorial speaker)。 ISSAC是符号和代数计算方面最权威的国际会议, 会议论文集收录了该年度符号计算方向最前沿的研究成果。

接收论文信息如下(来自：http://www.issac-conference.org/2026/papers.php)：

1) Shaoshi Chen, Lixin Du, Hanqian Fang and Yisen Wang.
   On the Summability Problem of Multivariate Rational Functions in the Mixed Case

2) Shaoshi Chen, Hanqian Fang and Joris van der Hoeven.
   A Zero-Test for D-Algebraic Transseries

3) Shaoshi Chen, Manuel Kauers, Wenqiao Li, Xiuyun Li and David Masser.
   Symbolic Integration in Weierstrass-like Extensions

4) Zihao Dai, Hao Liang, Jingyu Lu and Lihong Zhi.

An Algorithm for Diagonalizing Matrices of Formal Power Series