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