符号计算与Pi级数

发布者:文明办发布时间:2024-07-10浏览次数:10


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


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


地点:三号楼332室


举办单位:数理学院


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


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