报告题目: 符号求和

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

摘要：本报告主要介绍符号求和的思想和方法。我们将首先简要介绍符号计算软件，然后介绍符号求和的基本思想，最后介绍符号求和的软件使用。

报告人简介：侯庆虎，天津大学数学学院教授，国家“优秀青年科学基金”获得者。研究方向为组合数学及其应用，相关成果发表在 J. Combin. Theory Ser. A, Adv. in Appl. Math. 等杂志。在组合恒等式的机器证明领域取得系列成果并参与多项应用项目，长期与社科院合作进行城市竞争力研究，获得“孙冶方”经济学奖。

报告时间：2023年5月26日（周五）上午10:00-11:00

报告地点：校本部教二楼927

联系人: 辛国策