发布时间:2022-06-08 | 来源:数学机械化重点实验室
即将于法国里尔召开的第47届国际符号和代数计算会议(ACM ISSAC'22)上,实验室有3篇论文被录用。
ISSAC是符号和代数计算方面最权威的国际会议, 会议论文集收录了该年度符号计算方向最前沿的研究成果。
今年ISSAC的程序委员会主席是实验室的支丽红研究员。
接收论文信息如下 ( 来自: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.