即将于墨西哥瓜纳华托州数学研究中心（CIMAT）召开的第50届国际符号和代数计算会议(ACM ISSAC'25)上，实验室有4篇论文被录用。ISSAC是符号和代数计算方面最权威的国际会议, 会议论文集收录了该年度符号计算方向最前沿的研究成果。 

接收论文信息如下：

Tianshi Yu and Lihong Zhi.

A Noncommutative Nullstellensatz for Perfect Two-Answer Quantum Nonlocal Games

Hao Du, Yiman Gao, Wenqiao Li and Ziming Li.

Complete Reduction for Derivatives in a Primitive Tower

Ligeng Fan, Dingkang Wang, Fanghui Xiao and Xiaopeng Zheng.

Completing Parametric Unimodular Rows to Unimodular Matrices

Shaoshi Chen, Manuel Kauers, Christoph Koutschan, Xiuyun Li, Rong-Hua Wang and Yisen Wang.

Non-minimality of minimal telescopers explained by residues