报告题目：Gosper's Algorithm and Its Multivariate Extensions

报告人：陈绍示 (中国科学院数学与系统科学研究院, 数学机械化重点实验室)

时间：2019年11月5日10:00—11:00

地点：ok138官方网站南校区3B205

摘要:

Gosper's algorithm for indefinite hypergeometric summation is a fundamental algorithm in Symbolic Summation and also forms the core in the Wilf-Zeilberger theory of mechanical proving of combinatorial identities. How to extend Gosper's algorithm to the multivariate case is a challenging problem. In this talk, we will overview some previous developments towards this extension and present our recent results which solve the problem in the rational case.

专家简介:

陈绍示，现为中国科学院数学与系统科学研究院副研究员，博士生导师。主要研究符号计算，计算微分代数与代数组合学。2011年中国科学院与法国巴黎综合理工学校联合培养博士毕业，曾先后在奥地利 Linz 大学符号计算研究所、美国北卡罗来纳州立大学、加拿大菲尔兹数学研究所与滑铁卢符号计算研究组从事博士后工作。2013年回国到中科院数学与系统科学研究院系统所工作，2017年晋升为副研究员。 先后主持国家自然科学青年基金，教育部留学回国人员科研启动基金，以及国家自然科学面上基金。在符号计算领域权威会议 ISSAC 录用论文14篇，以及 Journal of Symbolic Computation，Journal of Algebra，和 Journal of Combinatorial theory, Series A 等期刊发表论文 10 余篇。目前担任组合领域国际期刊《Annals of Combinatorics》，国际符号与代数计算专业委员会《ACM Communications in Computer Algebra》和《系统科学与数学》等杂志编委。 2019年开始担任国际符号与代数计算年会 ISSAC 指导委员成员。曾获得“ISSAC2014 杰出海报奖”，中国科学院数学与系统科学研究院“2014 年突出科研成果奖”与“2018年度重要科研进展奖”。入选中国科学院第七届“陈景润未来之星”人才计划。获2019年吴文俊计算机数学青年学者奖。