题目：D-finite Functions
报告人：陈绍示（中国科学院 数学与系统科学研究院）
时间：2022年12月2日（星期五），14:00-15:15
地点：腾讯会议，会议号：303 409 854
会议链接：https://meeting.tencent.com/dm/cVi3rquYLV33
摘要：D-finite functions are solutions of homogeneous linear differential equations with rational function coefficients. This is an important class of special functions since it appears ubiquitously in algebra, combinatorics, and number theory. In this talk, we will present the algorithmic, analytic, and arithmetic aspects of D-finite functions.
报告人简介：
陈绍示，现为中国科学院数学与系统科学研究院副研究员, 博士生导师。主要研究符号计算，机器证明与组合数学。在符号计算领域旗舰会议 ISSAC 发表论文17篇，以及 Algebra and Number Theory, Journal of Symbolic Computation，和 Journal of Combinatorial theory, Series A 等期刊发表论文 10 余篇。目前担任 Annals of Combinatorics, Journal of Systems Science and Complexity, 和《系统科学与数学》等杂志编委，并担任 ACM SIGSAM (国际符号与代数计算专业委员会) 秘书长与中国数学会计算机数学专业委员会秘书长. 曾获得第二届 “吴文俊计算机数学青年学者奖”，第46届国际符号与代数计算年会(ISSAC)“杰出论文奖”，与国际计算机代数应用大会(ACA2022)“青年学者奖”。
