数学机械化重点实验室有4篇文章被2017年度国际符号和代数计算会议(ISSAC)接受

发布时间:2017-05-22  |  来源:数学机械化重点实验室

即将于德国 Kaiserslautern 大学召开的第42届国际符号和代数计算会议(ACM ISSAC'17)上,实验室李洪波研究员将作 ISSAC2017 Tutorial 邀请报告。


ISSAC是符号和代数计算方面最权威的国际会议. 会议论文集收录了该年度符号计算方向最前沿的研究成果。本实验室今年有4篇论文被录用:
1)  Yu-Ao Chen and Xiao-Shan Gao. Criteria for Finite Difference Groebner Bases of Normal Binomial Difference Ideals.
2)  Hongbo Li, Zhang Li and Yang Li. Riemann Tensor Polynomial Canonicalization by Graph Algebra Extension. 
3)  Dong Lu, Xiaodong Ma and Dingkang Wang. A New Algorithm for General Factorizations of Multivariate Polynomial Matrices.
4)  Jean-Guillaume Dumas, Erich Kaltofen, Gilles Villard and Lihong Zhi. Polynomial Time Interactive Proofs For Linear Algebra with Exponential Matrix Dimensions And Scalars Given by Polynomial Time Circuits.

相关推荐: