数学与统计学院学术报告[2021] 147号

(高水平大学建设系列报告647号)

报告题目: 数学机械化-吴文俊之路

报告人：陈绍示 副研究员（中国科学院数学与系统科学研究院）

报告时间：2021年12月8日 15:00-16:00

直播平台及链接： 腾讯会议ID 277-763-086

报告内容：数学机械化是我国著名数学家吴文俊先生开创的基础研究领域。20世纪70年代，吴先生发现中国古代数学的丰硕成果经常以算法（术）的方式表述，蕴含着深刻的机械化思想。吴先生在70年代末期提出了“吴方法”开启了几何定理机器证明的新时代，将几何定理证明从自动推理的一个不太成功的领域变为最成功的领域之一，因此吴先生于1997年获得“Herbrand自动推理杰出成就奖”。本报告将以几何定理机器证明与组合恒等式机器证明为例来阐述数学机械化思想的内涵。

报告人简历：陈绍示, 现为中国科学院数学与系统科学研究院副研究员, 博士生导师。主要研究符号计算，计算微分代数与组合数学。2005年毕业于江苏大学信息与计算科学系。2011年中国科学院与法国巴黎综合理工学校联合培养博士毕业，曾先后在奥地利林茨大学、美国北卡罗来纳州立大学、加拿大菲尔兹数学研究所与滑铁卢大学从事博士后工作。在符号计算领域旗舰会议 ISSAC 发表论文16篇，以及 Algebra and Number Theory， Journal of Symbolic Computation，Journal of Algebra, 和 Journal of Combinatorial theory, Series A 等期刊发表论文 10 余篇。目前担任国际计算机协会 ACM SIGSAM 的秘书长与中国数学会计算机数学专业委员会秘书长，国际符号与代数计算年会 ISSAC 指导委员会主席，以及担任《Annals of Combinatorics》, 《Journal of Systems Science and Complexity》等学术期刊编委。曾获得第二届 “吴文俊计算机数学青年学者奖”与 第46届国际符号与代数计算年会“ISSAC2021杰出论文奖”。入选中国科学院第七届“陈景润未来之星”人才计划和中国科学院2018年度青年创新促进会会员.

欢迎感兴趣的师生参加！

　　　　　　　　　　　　　　　　　　　　　　　　　 数学与统计学院

                                                2021年12月6日