符号计算与Pi级数

主讲人：侯庆虎 天津大学教授

时间：2024年7月11日14：30

地点：三号楼332室

举办单位：数理学院

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

内容介绍：介绍利用符号计算方法，推导和证明若干涉及Pi的级数恒等式。包括利用Gosper表示和约化算法构造Pi级数恒等式，利用符号求导证明Pi级数恒等式，以及构造WZ对证明Pi级数恒等式。