Five papers of KLMM have been accepted by the Proceedings of ISSAC2018

Time:2018-05-04  Source:KLMM

The 43rd International Symposium on Symbolic and Algebraic Computation (ISSAC2018) will be held on July 16-19, 2018, at the City University of New York (CUNY) Graduate Center, New York, USA.
ISSAC is the premier conference for research in symbolic computation and computer algebra, which started in 1966 and has been held annually since 1981. The conference presents a range of invited speakers, tutorials, poster sessions, software demonstrations and vendor exhibits with a center-piece of contributed research papers.


Five papers of KLMM have been accepted to appear in the Proceedings of ISSAC2018:

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.