棋牌游戏下载-凯特棋牌手机版_高级百家乐桌布_百导全讯网新2 (中国)·官方网站

報(bào)告時(shí)間：2024年5月23日（星期四）14:30

報(bào)告地點(diǎn)：翡翠湖校區(qū)科教樓B座1702室

報(bào) 告 人：王善文 副教授

工作單位：中國人民大學(xué)

舉辦單位：數(shù)學(xué)學(xué)院

報(bào)告簡介：

本報(bào)告將介紹和展示求解平面幾何題的alpha-geometry的使用, 介紹數(shù)學(xué)形式化的歷史、發(fā)展和趨勢, 介紹定理證明的兩個(gè)流派, 最后我們將探討數(shù)學(xué)形式化在教學(xué)科研中的一些應(yīng)用。

報(bào)告人簡介：

王善文，中國人民大學(xué)副教授，研究方向?yàn)閿?shù)論與算術(shù)代數(shù)幾何，曾獲國家高層次青年人才計(jì)劃支持。其于2005年本科畢業(yè)于清華大學(xué)；2010年獲法國巴黎綜合理工大學(xué)數(shù)學(xué)博士，師從數(shù)論名家Pierre Colmez；2015年至2019年任上海數(shù)學(xué)中心青年研究員，2019年入職中國人民大學(xué)。