【讲座题目】 数学机械化方法的历史和微分差分消元理论与方法
【主 讲 人】袁春明 中国科学院数学与系统科学研究院研究员
【讲座时间】2024年6月21日（周五）下午3:00-4:00
【讲座地点】主楼 D603
【讲座内容简介】 数学机械化"是我国数学家吴文俊先生在七十年代末开始倡导的一个研究领域，是脑力劳动机械化在数学科学的学术实践。数学机械化思想继承了中国古代数学的传统，它的着眼点在数学，但又具有明显的交叉性。本报告将简要介绍数学械化化的一些历史和近年来我们团队在微分差分方程的消元理论与算法方面的一些进展，包括稀疏微分结式，稀疏差分结式和微分周形式方面的理论与高效算法。年来我们团队在微分差分方程的消元理论与算法方面的一些进展，包括稀疏微分结式，稀疏差分结式和微分周形式方面的理论与高效算法。
