报告人：陈绍示（中国科学院数学与系统科学研究院，副研究员）
报告时间：2023年9月14日(周四)上午9:00
腾讯会议ID：687 298 954
联系人：林丽双教授
欢迎广大师生参加！
报告摘要：机器证明是数学与计算机科学的交叉领域。20世纪70年代，吴文俊院士在几何定理机器证明方面做出了先驱性工作。与几何定理证明一样，组合恒等式的传统证明方法往往具有高度的技巧性，没有统一性。20世纪90年代，组合学家Wilf和Zeilberger发展了组合恒等式机器证明的算法理论，即WZ理论。该理论彻底改变了组合恒等式与特殊函数论的研究面貌,并成为符号计算应用于组合数学、数论、数学物理等领域的桥梁。本报告将介绍WZ理论的基本算法、最新进展、以及在组合中的一些重要应用。
报告人简介：陈绍示,现为中国科学院数学与系统科学研究院副研究员，博士生导师。主要研究符号计算，计算微分代数与组合数学。2011年中国科学院与法国巴黎综合理工学校联合培养博士毕业，曾先后在奥地利Linz大学符号计算研究所、美国北卡罗来纳州立大学、加拿大菲尔兹数学研究所与滑铁卢符号计算研究组从事博士后工作。在符号计算领域旗舰会议ISSAC发表论文19篇，以及Journal of Symbolic Computation和Journal of Combinatorial theory, Series A等期刊发表论文10余篇。目前担任Journal of Symbolic Computation, Annals of Combinatorics和《系统科学与数学》等杂志编委。 现担任ACM SIGSAM (符号与代数计算专业委员会)秘书长与中国数学会计算机数学专业委员会秘书长.曾获得第二届“吴文俊计算机数学青年学者奖”，第46届国际符号与代数计算年会(ISSAC2021) “杰出论文奖”，与2022年度国际计算机代数应用大会“青年学者奖”。
理学院
2023年9月7日
