报告时间：2024年5月23日（星期四）15:30-16:30

报告地点：翡翠科教楼B1702

报告人：王善文 副教授

工作单位：中国人民大学

举办单位：数学学院

报告简介：

在本报告中, 我们将介绍和展示求解平面几何题的alpha-geometry的使用, 介绍数学形式化的历史、发展和趋势, 介绍定理证明的两个流派, 最后我们将探讨数学形式化在教学科研中的一些应用。

报告人简介：

王善文，中国人民大学副教授，研究方向为数论与算术代数几何，曾获国家高层次青年人才计划支持。其于2005年本科毕业于清华大学；2010年获法国巴黎综合理工大学数学博士，师从数论名家Pierre Colmez；2015年至2019年任上海数学中心青年研究员，2019年入职中国人民大学。