报告人：陈绍示 （中国科学院，研究员、博士生导师）
报告时间：2024年6月18日(周二) 下午15:30
报告地点：章辉楼442
联系人：林丽双 教授
欢迎广大师生参加！
报告摘要：从微积分诞生开始，如何计算函数的积分一直是数学中最重要的问题之一。积分的计算从纸笔手算到机器演算经历了一段悠久而迷人的历史。本报告将通过介绍现代计算机代数系统中如何实现积分的自动计算来展示抽象代数在分析中的重要应用，并进一步讨论经典积分问题中的动力系统问题。
报告人简介：陈绍示, 现为中国科学院数学与系统科学研究院研究员, 博士生导师。主要研究符号计算，机器证明与组合数学。近几年致力于发展多变元幂级数的算术理论。在符号计算旗舰会议ISSAC与数学期刊Algebra and Number Theory, Journal of Combinatorial Theory Series A，Journal of Symbolic Computation等发表论文30余篇。目前担任Journal of Symbolic Computation, Annals of Combinatorics, Journal of Difference Equations and Applications, Journal of Systems Science and Complexity, 和《系统科学与数学》等杂志编委，还担任 ACM SIGSAM (国际符号与代数计算专业委员会) 秘书长与中国数学会计算机数学专业委员会秘书长. 曾获得第二届 “吴文俊计算机数学青年学者奖”，第46届国际符号与代数计算年会(ISSAC)“杰出论文奖”，与国际计算机代数应用大会(ACA2022)“青年学者奖”。
理学院
2024年6月13日
