摘要：In this talk, we explore the prominent method of creativetelescoping. This is a powerful method pioneered by Zeilberger in the1990s and has now become the cornerstone for finding closed forms fordefinite sums (and definite integrals) in computer algebra. After abrief overview of the method, we restrict our attentions to its mostrecent algorithmic generation and illustrate the main idea by a simpleexample. Moreover, we will demonstrate how to produce computer-generatedproofsofidentites using the method of creative telescoping.

简介：黄辉，福州大学数学与统计学院副教授。2017年博士毕业于奥地利林茨大学和中国科学院数学与系统科学研究院（联合培养），并先后在奥地利林茨大学以及加拿大滑铁卢大学从事博士后研究，曾任职于大连理工大学数学科学学院，2023年12月起正式加入福州大学。主要研究兴趣包括计算机代数、符号求和与符号积分、微分与差分代数，符号渐进分析等，以及这些在组合数学和其他领域中的交叉应用，近几年致力于符号求和及组合恒等式机器证明理论。在符号计算旗舰会议ISSAC与数学期刊Journal of symbolic computation, Advances in Applied Mathematics等发表文章。

报告时间：9月12日（周四）下午15：00-16：00

腾讯会议：390-747-438

邀请人：黄巧龙