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