讲座题目：Symbolic Integration of D-finite Function

主办单位：数理学院/三峡数学研究中心

报告专家：陈绍示

报告时间：11 月 11日 10:00

报告地点：腾讯会议：127-185-568

报告摘要：D-finite functions are solutions of linear differential equations with polynomial coefficients, which play an important role in enumerative combinatorics as basic generating functions. This talk will first explain Abramov-van Hoeij's algorithm for the integration of D-finite functions, and then explore the dynamical aspect of this algorithm. This talk is based on a joint work with Xiuyun Li.

专家简介：陈绍示, 现为中国科学院数学与系统科学研究院研究员。主要研究符号计算、机器证明与组合理论。在符号计算旗舰会议 ISSAC 与数学期 刊 Foundations of Computational Mathematics, Algebra and Number Theory, Selecta Mathematica 等发表论文 40 余篇。目前担任 Journal of Symbolic Computation, Annals of Combinatorics, Journal of Difference Equations and Applications, Journal of Systems Science and Complexity, 和《系统科学与数学》等杂志编委，还担任中国数学会计算机数学专业委员会主任. 曾获得第二届 “吴文俊计算机数学青年学者奖”(2019)，第 46 届国际符号与代数计算年会(ISSAC2021)“杰出论文奖”，与国际计算机代数应用大会(ACA2022)“青年学者奖”。