10月20日下午，数学与统计学院在行知楼1108会议室举办第十三期微分方程与动力系统研讨会。学院微分方程与动力系统研究团队教师参加。吴亚运博士作了题为“The definite summation of Apéry like recurrence equations”的学术报告。
报告中，吴亚运博士从 Apéry 关于ζ(3)无理性证明的经典研究成果切入，阐释了 Apéry 序列及其对应的差分方程，着重介绍 Zeilberger 算法、WZ 对以及 Gosper 算法在相关问题证明中的实际运用，剖析了 Apéry 序列因包含调和数所产生的算法难点，并讲解借助 Casorati 行列式与Legendre 变换构造第二解的实现思路。围绕 Apéry 型递推算子的定和问题，报告梳理了 Apéry 递推算子分解、调和数核空间等相关内容，阐述定和序列与 Apéry 序列比值趋于收敛等相关结论，同时针对数值实例进行分析。
交流研讨阶段，参会教师围绕AI赋能数学证明的可解释性、计算机辅助证明实现路径、符号计算与形式化验证的可靠性、Zeilberger算法适用边界等议题展开深入交流探讨。此次研讨会有效激发了团队教师对人工智能与符号计算、数论与微分方程交叉领域的研究兴趣，为推进学院微分方程与动力系统学科方向建设、促进相关学术研究发展起到了积极推动作用。（数学与统计学院：吴亚运）
上一条：数学与统计学院举行2026年下半年发展对象和预备党员培训班开班仪式暨首场专题授课 下一条：数学与统计学院召开10月份学生工作例会规范学生日常事务管理
