澳门威尼斯手机版app下载

学术活动

Existence Problems in the Algorithmic Proof Theory of Combinatorial Identities - 陈绍示 研究员 (中科院数学与系统科学研究院, 数学机械化重点实验室)

作者:   来源:  时间:2020-01-10

题目:Existence Problems in the Algorithmic Proof Theory of Combinatorial Identities

报告人:陈绍示 研究员

(中科院数学与系统科学研究院, 数学机械化重点实验室)

报告人简介:

陈绍示, 现为中国科学院数学与系统科学研究院副研究员, 博士生导师。主要研究符号计算,计算微分代数与组合数学。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年度重要科研进展奖”与第二届 "吴文俊计算机数学青年学者奖"。入选中国科学院第七届“陈景润未来之星”人才计划和中国科学院2018年度青年创新促进会会员。

Abstract: 

Zeilberger's method of creative telescoping is the core of the algorithmic proof theory of combinatorial identities. Telescopers are the linear differential or recurrence operators constructed by creative telescoping, which are used for verifying identities.  The existence of telescopers is related to the termination of Zeilberger's algorithms. In this talk, we first give an overview of some recent work on creative telescoping and then present a solution to existence problems in rational creative telescoping.  This work is joint with Lixin Du, Rong-Hua Wang and Chaochao Zhu.

时间:2020年1月10日(周五)上午10:00-11:00

地点:澳门威尼斯手机版app下载本部教二楼 627 教室

联系人:张俊

 

欢迎全体师生积极参加!

 


新mg龙母财富
澳门威尼斯手机版app下载 www.qqcis.com