cctv5篮球公园新手怎么玩 - cctv5篮球公园
Formalization of p-adic L- functions in Lean, and auto formalization as a mathematical tool
发布时间：2024年01月22日
浏览次数：4121
发布者: 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.
