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

报告人：陈绍示（中国科学院数学与系统科学研究院系统科学研究所）

时间：2024年4月24日（周三）19:30

地点：第五教学楼5307教室

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