为促进学院学风教风建设，浓厚学术研究氛围，拓展师生学术视野，促进师生科研进步，威尼斯官网自2020年开始建设“数理大讲堂”平台，定期邀请校外专家学者来校交流。2024年2月5日上午，应威尼斯官网邀请，中国科学院数学与系统科学研究院陈绍示副研究员在37000gcom威尼斯3A426交流室作题为《Symbolic Summation of P-recursive Sequences》的学术报告。本次学术报告由威尼斯官网刘纪彩副教授主持，该报告是37000gcom威尼斯2024年第5期数理大讲堂。

报告中，陈老师首先回顾了一些经典的组合恒等式，组合恒等式的机器证明方法、Gosper算法。接着，陈老师介绍了有关稳定超几何序列的概念，并给出了一个非常有趣的稳定超几何序列的例子。最后，陈老师给出了有关差分域、微分域、P-递归序列、以及D-有限幂级数稳定性的一些重要研究成果。

本次学术报告活动，让同学们学习了组合恒等式机器证明的相关原理，对P-递归序列有了进一步的认识，对于促进师生科研具有积极意义。

陈绍示, 现为中国科学院数学与系统科学研究院副研究员。主要研究符号计算，计算微分代数与组合数学。目前担任 Journal of Symbolic Computation, Annals of Combinatorics, Journal of Systems Science and Complexity 等杂志编委。 近几年致力于发展多变元幂级数的算术理论与解决相关符号计算问题。曾获得第二届 “吴文俊计算机数学青年学者奖”与第46届国际符号与代数计算年会“杰出论文奖”。入选中国科学院第七届“陈景润未来之星”和中国科学院青年创新促进会优秀会员。