SU\G(𝔾)/K·U

Formalization of $p$-adic $L$-functions in Lean 3

Ashvni Narayanan

Type: Preprint

Publication Date: 2023-01-01

Citations: 0

DOI: https://doi.org/10.48550/arxiv.2302.14491

Locations

  • arXiv (Cornell University) - View - PDF
  • DataCite API - View

Similar Works

Action Title Year Authors
+ On $p$-adic Euler $L$-functions 2010 Su Hu
Min-Soo Kim
+ Nine Chapters of Analytic Number Theory in Isabelle/HOL. 2019 Manuel Eberl
+ PDF Chat An Introduction to the Theory of Local Zeta Functions from Scratch 2019 Edwin LeĂłn-Cardenal
W. A. ZĂșñiga–Galindo
+ Zeta-Functions and L-Series 2001 Paulo Ribenboim
+ An introduction to $p$-adic $L$-functions 2023 JoaquĂ­n Rodrigues Jacinto
Chris Williams
+ Explicit Methods in Number Theory 2025 Karim Belabas
Bjorn Poonen
Fernando RodrĂ­guez Villegas
+ A Catalog of Interesting Dirichlet Series 2008 H. W. Gould
Temba Shonhiwa
+ PDF Chat The L-Functions and Modular Forms Database Project 2016 J. E. Cremona
+ Classification of p-adic functions satisfying Kummer type congruences 2009 Bernd C. Kellner
+ LibGuides: Copy of DIY Maths: Understanding fractions 2017 Relinda Ruth
+ Irrationality of some p-adic L-values 2006 Frits Beukers
+ Zeta and L-Functions of Varieties and Motives 2020 Bruno Kahn
+ An introduction to number theory 2005 Graham Everest
Thomas Ward
+ LibGuides: Math/Stats Videos and Workshop Materials: Number Theory 2014 Lynn McCormick-McDonald
+ Limit Conjectures in Number Theory, Lehmer's Conjecture, Conjecture of Schinzel-Zassenhaus, dynamical zeta function of the beta-shift 2018 Jean-Louis Verger-Gaugry
+ LibGuides: Copy of DIY Maths: Subtracting fractions 2017 Relinda Ruth
+ LibGuides: Copy of DIY Maths: Fractions 2017 Relinda Ruth
+ A formalized proof of Dirichlet's theorem on primes in arithmetic progression 2009 John Harrison
+ Formalization of the prime number theorem and Dirichlet's theorem 2016 Mario Carneiro
+ Formalization of the prime number theorem and Dirichlet's theorem 2016 Mario Carneiro

Works That Cite This (0)

Action Title Year Authors

Works Cited by This (0)

Action Title Year Authors