Introduction to Symbolic Integration and Summation
报告人：陈绍示（中国科伊人直播
数学与系统科学研究院）
时间：2026-04-15 15:10-18:00
地点：三教203
报告摘要：
Integration and summation are fundamental in Analysis and Combinatorics. Computing closed-forms of integrals and sums efficiently is a classic al problem in Symbolic Computation. In this lecture, we will overview the algebraic foundation and basic algorithms of symbolic integration and summation. From the lecture, we will at least know why the integral of exp(x^2) and elliptic integrals are not elementary functions and also learn how to use compute to prove some combinatorial identities.
专家简介：
陈绍示, 现为中国科伊人直播
数学与系统科学研究院研究员。主要研究符号计算、机器证明与组合理论。在符号计算旗舰会议 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)“青年学者奖”。
