报告时间：2024年5月23日（星期四）14:30
报告地点：翡翠湖校区科教楼B座1702室
报 告 人：王善文 副教授
工作单位：中国人民大学
举办单位：数学学院
报告简介：
本报告将介绍和展示求解平面几何题的alpha-geometry的使用, 介绍数学形式化的历史、发展和趋势, 介绍定理证明的两个流派, 最后我们将探讨数学形式化在教学科研中的一些应用。
报告人简介：
王善文，中国人民大学副教授，研究方向为数论与算术代数几何，曾获国家高层次青年人才计划支持。其于2005年本科毕业于清华大学；2010年获法国巴黎综合理工大学数学博士，师从数论名家Pierre Colmez；2015年至2019年任上海数学中心青年研究员，2019年入职中国人民大学。