报告题目 (Title)：Finding congruences with the WZ method
报告人 (Speaker)：侯庆虎 教授（天津大学）
报告时间 (Time)：2025年11月20日(周四) 14:30—15:30
报告地点： (腾讯会议)264-873-919
邀请人(Inviter)：王晓霞
报告摘要：本文利用Wilf-Zeilberger(WZ)方法，通过构造WZ种子 f(k, a, b, ...)，并选取适当的参数，建立了若干与截断拉马努金型级数相关的同余式。部分证明了孙智伟教授提出的一系列猜想，并进一步发现了若干新的同余式。