中国科学院系统科学研究所

发布时间：2019-04-08 | 来源：数学机械化重点实验室

即将于北京航空航天大学召开的第44届国际符号和代数计算会议(ACM ISSAC'19)上，实验室陈绍示副研究员将作 ISSAC2019 Tutorial 邀请报告

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

本实验室今年有3篇论文被录用，接收论文信息如下 (来自：http://www.issac-conference.org/2019/accepted.html)：

1) Shaoshi Chen, Lixin Du and Chaochao Zhu. Existence Problem of Telescopers for Rational Functions in Three Variables: the Mixed Cases.

2) Jin-San Cheng and Junyi Wen. Certified Numerical Real Root Isolation for Bivariate Polynomial Systems.

3) Renzhang Liu and Yanbin Pan. Computing Hermite Normal Form Faster via Solving System of Linear Equations.

相关推荐: