数学机械化重点实验室有7篇文章被2024年度国际符号和代数计算会议(ISSAC2024)接收
副标题:
接收论文信息如下 ( 来自: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
7)Rui-Juan Jing, Marc Moreno Maza, Yan-Feng Xie and Chun-Ming Yuan.
Efficient detection of redundancies in systems of linear inequalities