首页| English| 中国科学院
当前位置:首页>综合新闻

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

副标题:

时间:2020-07-01  来源:

即将于希腊Kalamata召开的第45届国际符号和代数计算会议(ACM ISSAC'20)上,实验室有4篇论文被录用ISSAC是符号和代数计算方面最权威的国际会议, 会议论文集收录了该年度符号计算方向最前沿的研究成果。 接收论文信息如下(来自:http://www.issac-conference.org/2020/papers.php)

 

1) Shaoshi Chen, Lixin Du, Manuel Kauers, and Thibaut Verron, Integral Bases for P-Recursive Sequences

2) Hao Du, Jing Guo, Ziming Li, and Elaine Wong. An Additive Decomposition in Logarithmic Towers and Beyond

3) Dong Lu, Dingkang Wang, and Fanghui Xiao. Further Results on the Factorization and Equivalence for Multivariate Polynomial Matrices

4) Dingkang Wang, Hesong Wang, and Fanghui Xiao. An Extended GCD Algorithm for Parametric Univariate Polynomials and Application to Parametric Smith Normal Form
相关附件
相关文档