报告题目: Stability Problems in Symbolic Integration

报告人: 陈绍示 副研究员（中国科学院数学与系统科学研究院）

报告时间：2022年6月17日（星期五）14:00-16:00

报告地点：腾讯视频会议（线上）   会议ID：577-300-118

校内联系人：黄辉 副教授       联系方式：huanghui@dlut.edu.cn

报告摘要：This talk aims at initializing a dynamical aspect of symbolic integration by studying stability problems in differential fields. We present some basic properties of stable elementary functions and D-finite power series that enable us to characterize three special families of stable elementary functions including rational functions, logarithmic functions, and exponential functions. Some problems for future studies are proposed towards deeper dynamical studies in differential and difference algebra.

报告人简介：陈绍示，现为中国科学院数学与系统科学研究院副研究员，博士生导师。主要研究符号计算，计算微分代数与组合数学。在符号计算领域旗舰会议ISSAC发表论文16篇，以及 Algebra and Number Theory，Journal of Symbolic Computation，和Journal of Combinatorial Theory，Series A等期刊发表论文10余篇。目前担任Annals of Combinatorics，Journalof Systems Science and Complexity，和《系统科学与数学》等杂志编委。2021年开始担任国际计算机协会（ACM）符号与代数计算专业委员会秘书长与中国数学会计算机数学专业委员会秘书长。曾获得第二届“吴文俊计算机数学青年学者奖”与第46届国际符号与代数计算年会（ISSAC2021）“杰出论文奖”。