报告名称：Symbolic computation in combinatorics

主讲人：侯庆虎 教授

邀请人：唐大钊  讲师

时间：2022年4月1日    16:00—17:00

地点：腾讯会议（ID：606 390 628）

主办单位：best365体育官网登录入口

报告摘要

在本次报告中，我们将介绍利用符号计算方法解决组合数学问题的一些例子。包括符号求和、组合同余式证明以及组合不等式证明。

 

专家简介

侯庆虎，天津大学数学学院副院长、教授、博士生导师，天津市公共安全大数据中心工程中心技术专家，中国数学会计算机数学专业委员会副主任，天津市数学会副理事长，国家“优秀青年科学基金”获得者。研究方向为组合数学及其应用，在组合恒等式的机器证明领域取得了一系列重要成果，包括Zeilberger算法的终止性、q-超几何级数的机器证明、多重和问题、单峰型问题和组合同余式的机器证明等。发表SCI论文40余篇，包括《J. Combin. Theory Ser. A》（《组合论A辑》）,《Adv. Appl. Math.》（《应用数学进展》），《J. Symbolic Comput.》（《符号计算杂志》）等组合数学和符号计算领域的高水平期刊。参与多项应用项目，特别是长期与社科院合作进行城市竞争力研究，获得“孙冶方”经济学奖。主持三项国家自然科学基金项目，参与一项国家自然科学基金重点项目、一项国家自然科学基金创新研究群体项目和一项科技部重点研发计划项目。