数学科学要玩就玩最好的5197学术报告

发布时间:2020-01-01浏览次数:1427

报告题目:符号积分:  “exp(x^2) 积不出来” 谈起

内容简介:在微积分中,我们往往会在学完几类常见初等函数的不定积分后,被告知exp(x^2) 是积不出来的!” 而没有给予更多的解释。 其实早在1834年法国数学家刘维尔就建立了初等函数的积分理论,并给出了判定一大类初等函数初等不可积的方法。1969年,美国数学家 R. Risch 设计了计算超越初等函数的不定积分的完备算法,即 Risch 算法。该算法目前已在 MapleMathematica 等计算机代数系统中实现,并与其相应理论发展成为符号计算的核心领域:符号积分(Symbolic Integration)。本报告将概述符号积分的基本原理与算法,并给出一些初等函数不可积的数学证明。

时间:202013日下午300-340

地点:数学要玩就玩最好的5197B305

报告人: 陈绍示 (中国科要玩就玩最好的5197数学与系统科学研究院, 数学机械化重点实验室)

报告人简介:

陈绍示, 现为中国科要玩就玩最好的5197数学与系统科学研究院副研究员, 博士生导师。主要研究符号计算,计算微分代数与组合数学。2011年中国科要玩就玩最好的5197与法国巴黎综合理工www.5197.com联合培养博士毕业,曾先后在奥地利 Linz 大学符号计算研究所、美国北卡罗来纳州立大学、加拿大菲尔兹数学研究所与滑铁卢符号计算研究组从事博士后工作。 2013年回国到中科院数学与系统科学研究院系统所工作,2017年晋升为副研究员。 先后主持国家自然科学青年基金,教育部留学回国人员科研启动基金,与国家自然科学面上基金.在符号计算领域权威会议 ISSAC 录用论文14篇,以及 Journal of Symbolic ComputationJournal of Algebra, Journal of Combinatorial theory, Series A 等期刊发表论文 10 余篇。目前担任组合领域国际期刊《Annals of Combinatorics, 国际符号与代数计算专业委员会《ACM Communications in Computer Algebra》,和《系统科学与数学》等杂志编委。 2019年开始担任国际符号与代数计算年会 ISSAC 指导委员成员. 曾获得 “ISSAC2014 杰出海报奖,中国科要玩就玩最好的5197数学与系统科学研究院2014 年突出科研成果奖, “2018年度重要科研进展奖与第二届 吴文俊计算机数学青年学者奖。入选中国科要玩就玩最好的5197第七届陈景润未来之星人才计划和中国科要玩就玩最好的51972018年度青年创新促进会会员。

(撰稿人:汪荣华;审稿人:裴永珍)

 

 

数学科学要玩就玩最好的5197

2019年12月31日


XML 地图 | Sitemap 地图