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

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

副标题:

时间:2024-06-04  来源:
即将于美国北卡罗来纳州立大学召开的第49届国际符号和代数计算会议(ACM ISSAC'24)上,实验室有7篇论文被录用。ISSAC是符号和代数计算方面最权威的国际会议会议论文集收录了该年度符号计算方向最前沿的研究成果。
 

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

 

1) Hao Liang, Jingyu Lu, Manolis C. Tsakiris and Lihong Zhi
Unlabeled Sensing Using Rank-One Moment Matrix Completion

2) Qiyuan Chen and Ke Ye
A quasi-optimal lower bound for skew polynomial multiplication

3) Shaoshi Chen, Ruyong Feng, Manuel Kauers and Xiuyun Li.
Parallel Summation in P-Recursive Extensions

4) Yihang Cheng, Yansong Feng and Yanbin Pan.
Embedding Integer Lattices as Ideals into Polynomial Rings

5) Xiuquan Ding, Dingkang Wang, Fanghui Xiao and Xiaopeng Zheng.
An Algorithm for Computing Greatest Common Right Divisors of Parametric Ore Polynomials

6) Zihao Dai, Zijia Li, Zhi-Hong Yang and Lihong Zhi.
Whitney Stratification of Algebraic Boundaries of Convex Semi-algebraic Sets

7Rui-Juan Jing, Marc Moreno Maza, Yan-Feng Xie and Chun-Ming Yuan.
Efficient detection of redundancies in systems of linear inequalities

相关附件
相关文档