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

数学机械化重点实验室有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

相关附件
相关文档