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

发布时间:2023-05-09  |  来源:数学机械化重点实验室

即将于挪威特罗姆瑟召开的第48届国际符号和代数计算会议(ACM ISSAC'23)上,实验室有5篇论文被录用。ISSAC是符号和代数计算方面最权威的国际会议, 会议论文集收录了该年度符号计算方向最前沿的研究成果。

接收论文信息如下 ( 来自:https://www.issac-conference.org/2023/papers.php ):

1) Shaoshi Chen, Lixin Du and Manuel Kauers
       Hermite Reduction for D-finite Functions via Integral Bases

2) Shaoshi Chen, Ruyong Feng, Zewang Guo and Wei Lu
       Stability Problems on D-finite Functions

3) Hao Du, Yiman Gao, Jing Guo and Ziming Li
       Computing Logarithmic Parts by Evaluation Homomorphisms

4) Qiao-Long Huang and Xiao-Shan Gao
       New Sparse Multivariate Polynomial Factorization Algorithms over Integers

5) Sizhuo Yan, Jianting Yang, Tianshi Yu and Lihong Zhi
       A Characterization of Perfect Strategies for Mirror Games

相关推荐: