即将召开的第39届国际符号和代数计算会议(ACM ISSAC'14)上,数学机械化重点实验室有3篇论文被接受

发布时间:2014-04-01  |  来源:数学机械化重点实验室

即将于日本神户(Kobe, Japan) 召开的第39届国际符号和代数计算会议(ACM ISSAC'14)上,本实验室有3篇论文被接受。ISSAC是符号和代数计算方面最权威的国际会议。3篇被接受论文是
1) Hongbo Li, Changpeng Shao, Lei Huang and Yue Liu. Reduction among Bracket Polynomials.
2) Shaoshi Chen, Ruyong Feng, Ziming Li and Michael F. Singer. Parallel Telescoping and Parameterized Picard--Vessiot Theory.
3) Shaoshi Chen, Manuel Kauers and Christoph Koutschan. A Generalized Apagodu-Zeilberger Algorithm.

相关推荐: