Formalization of p-adic L- functions in Lean, and auto formalization as a mathematical tool
发布时间：2024年01月22日
浏览次数：1577
发布者: Yiyi Ye
主讲人： Ashvni Narayanan(University of Sydney)
活动时间： 从 2024-01-23 10:00 到 12:00
场地： Lecture Hall, Jiayibing Building, Jingchunyuan 82, BICMR
Abstract :
L-functions are an integral part of number theory. We discuss formalization of their p-adic analogue. We shall also discuss a tool which translates natural language to Lean code.
