为进一步提高教师的科研能力，助力教师接触数学领域前沿问题，拓宽学术视野，促进学术交流与合作，理学院特邀请厦门大学许传炬教授、中国科学院数学与系统科学研究院陈绍示研究员莅临我校开展系列学术讲座。现将具体安排通知如下，欢迎各位老师踊跃参加。
报告一
报告时间：2025年8月7日下午16：00
报告地点：新主楼五楼报告厅
报告题目：Müntz polynomials and approximations
摘要：In this talk we are interested in the Müntz polynomials and their approximation property. The Müntz Legendre polynomials arise by orthogonalizing the Müntz system with respect to Lebesgue measure, which are extension of the classical polynomials. Approximation by the Müntz-Legendre polynomials faces challenges both theoretically and numerically. We discuss some recent results regarding the computation of the Müntz polynomials and their approximation property including recurrence formulas, Gauss quadratures, and interpolation methods. Application examples of these recent results are also discussed.
报告二
报告时间：8月8日上午10：45
报告地点：新主楼五楼报告厅
报告专家: 陈绍示研究员(中国科学院数学与系统科学研究院）
报告题目: 机器证明与AI新技术及其应用
摘要：我国数学家吴文俊在上世纪70年代开始几何定理机器证明的研究，并开辟了数学机械化这一全新的研究领域。定理机器证明就是让计算机来自动生成数学定理的证明，是人工智能长期关注的核心问题。当前基于符号计算的机器证明由于计算复杂度过高，能高效处理的数学定理的深度与广度都很有限。近几年，通过融合深度学习、大模型等AI新技术，许多具有挑战性的数学难题取得了重大突破，如大规模PDE求解、矩阵快速乘法、椭圆曲线“椋鸟群飞”现象的发现等。本报告将从经典机器证明讲到融合AI新技术的数学研究的最新进展，展示AI与数学的融通共进。
专家简介：陈绍示, 现为中国科学院数学与系统科学研究院研究员。主要研究符号计算、机器证明与组合理论。在符号计算旗舰会议 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)“青年学者奖”。
报告三
报告时间：2025年8月10日下午16：00
报告专家：厦门大学许传炬教授
报告题目：Reduced order method for the parameter optimization of parabolic
equations
摘要：In this talk, we discuss a reduced-order method for theparameter optimization of nonlinear parabolic equations. The reduced basis is constructed based on proper orthogonaldecomposition and parametrized solution snapshots. Numerical analysis of the proposed method is conducted to derive error estimates for the reduced-order solutions. The impact on the accuracy of time difference quotients as snapshots is alsoinvestigated.
专家简介：博士毕业于巴黎居里大学(巴黎第六大学)，现为厦门大学“闽江学者”特聘教授，博士生导师。研究方向主要为数值偏微分方程、谱方法、复杂流体和分数阶微分方程数值计算。在有影响的学术期刊发表论文100多篇并被广泛引用，担任数个知名学术期刊的编委。
科技处、理学院
2025 年 8 月 7日