数学机械化重点实验室有3篇文章被2022年度国际符号和代数计算会议(ISSAC2022)接收
副标题：
接收论文信息如下 ( 来自：https://www.issac-conference.org/2022/papers.php )：
1) Shaoshi Chen. Stability Problems in Symbolic Integration.
2） Dong Lu, Dingkang Wang, Fanghui Xiao and Xiaopeng Zheng.
A Property of Modules Over a Polynomial Ring With an Application in Multivariate Polynomial Matrix Factorizations.
3） Dingkang Wang, Jingjing Wei, Fanghui Xiao and Xiaopeng Zheng.
Rational Univariate Representation of Zero-Dimensional Ideals with Parameters.
