即将于美国北卡罗来纳州立大学召开的第49届国际符号和代数计算会议(ACM ISSAC'24)上，实验室有7篇论文被录用。ISSAC是符号和代数计算方面最权威的国际会议, 会议论文集收录了该年度符号计算方向最前沿的研究成果。 　　

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

1) Hao Liang, Jingyu Lu, Manolis C. Tsakiris and Lihong Zhi Unlabeled Sensing Using Rank-One Moment Matrix Completion 

2) Qiyuan Chen and Ke Ye A quasi-optimal lower bound for skew polynomial multiplication 

3) Shaoshi Chen, Ruyong Feng, Manuel Kauers and Xiuyun Li.Parallel Summation in P-Recursive Extensions 

4) Yihang Cheng, Yansong Feng and Yanbin Pan.Embedding Integer Lattices as Ideals into Polynomial Rings 

5) Xiuquan Ding, Dingkang Wang, Fanghui Xiao and Xiaopeng Zheng.An Algorithm for Computing Greatest Common Right Divisors of Parametric Ore Polynomials 

6) Zihao Dai, Zijia Li, Zhi-Hong Yang and Lihong Zhi.Whitney Stratification of Algebraic Boundaries of Convex Semi-algebraic Sets 

7）Rui-Juan Jing, Marc Moreno Maza, Yan-Feng Xie and Chun-Ming Yuan.Efficient detection of redundancies in systems of linear inequalities