讲座： 积分计算知多少？

时间：1月5日（周五）14:00

地点：仓前校区勤园21号楼306室

主办：数学学院、

主讲嘉宾：陈绍示 副研究员 (中国科学院数学与系统科学研究院)

内容摘要：从微积分诞生开始，如何计算函数的积分一直是数学中最重要的问题之一。积分的计算从纸笔手算到机器演算经历了一段悠久而迷人的历史。本报告将通过介绍现代计算机代数系统中如何实现积分的自动计算来展示抽象代数在分析中的重要应用，并进一步讨论经典积分问题中的动力系统问题。

个人简介：陈绍示, 现为中国科学院数学与系统科学研究院副研究员, 博士生导师。主要研究符号计算，机器证明与组合数学。在符号计算领域旗舰会议 ISSAC与数学期刊 Algebra and Number Theory, Journal of Symbolic Computation和 Journal of Combinatorial theory, Series A 等发表论文 30余篇。目前担任 Journal of Symbolic Computation, Journal of Difference Equations and Applications, Annals of Combinatorics, Journal of Systems Science and Complexity, 和《系统科学与数学》等杂志编委，并担任 ACM SIGSAM (国际符号与代数计算专业委员会) 秘书长与中国数学会计算机数学专业委员会秘书长. 曾获得第二届 “吴文俊计算机数学青年学者奖”，第46届国际符号与代数计算年会(ISSAC)“杰出论文奖”，与国际计算机代数应用大会(ACA2022)“青年学者奖”。