数学机械化重点实验室3篇文章被2022年度国际符号和代数计算会议(ISSAC2022)接收

发布时间: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.

相关推荐: