首页  |  English  |  中国科学院
  • 综合新闻
即将召开的第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.

附件下载:
中国科学院系统科学研究所 2013 版权所有 京ICP备05002810号-1
北京市海淀区中关村东路55号 邮政编码:100190, 中国科学院系统科学研究所
电话:86-10-82541881  网址:http://iss.amss.cas.cn/