报告人：侯庆虎

时 间：2026年10月24日 08:00

地 点：L-2620

报告摘要：本报告对近期利用 WZ 方法证明级数恒等式进行一个简要的综述。我们将从 WZ 对的构造出发，介绍 WZ Seed 的构造方法，并介绍其与相关方法的联系及在 q 级数中的应用。我们还将介绍利用 WZ 对证明含有调和数恒等式的基本方法和若干技巧。

专家简介：侯庆虎，天津大学数学学院副院长。研究方向为组合数学及其应用，相关成果发表在 J. Combin. Theory Ser. A, Adv. in Appl. Math. 等杂志，获得首届国家"优秀青年科学基金"。在组合恒等式的机器证明领域取得系列成果。作为负责人承担科技部重点研发计划项目“DNA 存储生化流程的大模型及验证”，作为第一副主编完成的《中国城市竞争力报告》系列丛书获得“孙冶方”经济学奖。