即将于美国波士顿(Boston, USA) 召开的第38届国际符号和代数计算会议(ACM ISSAC'13)上，本实验室有4篇论文被接受。ISSAC是符号和代数计算方面最权威的国际会议。4篇被接受论文是
1) Qingdong Guo, Mohab Safey El Din, Lihong Zhi. Computing rational solutions of linear matrix inequalities.
2) Zhengfeng Yang, Lihong Zhi, Yijun Zhu. Verified Error Bounds for Real Solutions of Positive-dimensional Polynomial Systems.
3) Wei Li, Chun-Ming Yuan and Xiao-Shan Gao. Sparse Difference Resultant.
4) Alin Bostan, Shaoshi Chen, Frederic Chyzak, Ziming Li, Guoce Xin. Hermite Reduction and Creative Telescoping for Hyperexponential Functions.