题目：符号计算与Pi级数

报告人：侯庆虎 教授 （天津大学）

摘要：在报告中，我们将介绍利用符号计算方法证明与Pi有关的级数公式，并对利用WZ方法给出相关的同余式

报告人简介：侯庆虎，天津大学数学学院教授，国家“优秀青年科学基金”获得者。研究方向为组合数学及其应用，在组合恒等式的机器证明领域取得了一系列重要成果，主持多项国家自然科学基金项目。参与多项应用项目，特别是长期与社科院合作进行城市竞争力研究，获得“孙冶方”经济学奖。

报告时间：2025年4月3日（周四）下午16：30-17：30

报告地点：教二楼727

联系人：张俊