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

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

副标题:

时间:2018-05-04  来源:数学机械化重点实验室

即将于美国纽约城市大学召开的第43届国际符号和代数计算会议(ACM ISSAC'18)上,本实验室今年有5篇论文被录用。

ISSAC是符号和代数计算方面最权威的国际会议, 会议论文集收录了该年度符号计算方向最前沿的研究成果。

5篇接收论文信息如下 (来自: http://www.issac-conference.org/2018/papers.php):

 
1) Shaoshi Chen, Hao Du and Ziming Li. Additive Decompositions in Primitive Extensions.
2) Mohab Safey El Din, Zhi-Hong Yang and Lihong Zhi. On the complexity of computing real radicals of polynomial systems.
3) Dong Lu, Dingkang Wang, Fanghui Xiao and Jie Zhou. Extending the GVW Algorithm to Local Ring.
4) Deepak Kapur, Dong Lu, Michael Monagan, Yao Sun and Dingkang Wang. An Efficient Algorithm for Computing Parametric Multivariate Polynomial GCD.
5) Changpeng Shao and Hongbo Li. Fast Straightening Algorithm for Bracket Polynomials Based on Tableau Manipulations.

相关附件
相关文档