报告题目：组合恒等式的机器证明

报 告 人：陈绍示 副研究员

单 位：中国科学院数学与系统科学研究院

报告时间：10月6日下午16：00-16:45

腾讯会议：655 437 964

报告摘要：机器证明是数学与计算机科学的交叉领域。20世纪70年代，吴文俊院士在几何定理机器证明方面做出了先驱性工作。与几何定理证明一样，组合恒等式的传统证明方法往往具有高度的技巧性，没有统一性。20世纪90年代，组合学家Wilf和Zeilberger发展了组合恒等式机器证明的算法理论，即WZ理论。该理论彻底改变了组合恒等式与特殊函数论的研究面貌,并成为符号计算应用于组合数学、数论、数学物理等领域的桥梁。本报告将介绍WZ理论的基本算法、最新进展以及在组合中的一些重要应用。

报告人简介： 陈绍示, 现为中国科学院数学与系统科学研究院副研究员, 博士生导师。主要研究符号计算，计算微分代数与组合数学。2005年毕业于江苏大学信息与计算科学系。2011年中国科学院与法国巴黎综合理工学校联合培养博士毕业，曾先后在奥地利林茨大学、美国北卡罗来纳州立大学、加拿大菲尔兹数学研究所与滑铁卢大学从事博士后工作。在符号计算领域旗舰会议 ISSAC 发表论文16篇，以及 Algebra and Number Theory， Journal of Symbolic Computation，Journal of Algebra, 和 Journal of Combinatorial theory, Series A 等期刊发表论文 10 余篇。目前担任国际计算机协会 ACM SIGSAM 的秘书长与中国数学会计算机数学专业委员会秘书长，国际符号与代数计算年会 ISSAC 指导委员会主席，以及担任《Annals of Combinatorics》, 《Journal of Systems Science and Complexity》等学术期刊编委。曾获得第二届 “吴文俊计算机数学青年学者奖”与 第36届国际符号与代数计算年会“ISSAC2021杰出论文奖”。入选中国科学院第七届“陈景润未来之星”人才计划和中国科学院2018年度青年创新促进会会员。