Formalizing zeta and L-functions in Lean
- Loeffler, David ORCID UniDistance Suisse
- Stoll, Michael ORCID Universität Bayreuth
- 2025
Published in:
- Annals of Formalized Mathematics. - 2025, vol. 1
- Research projects
- Language
-
- English
- Classification
- Mathematics
- License
-
CC BY
- Open access status
- diamond
- Identifiers
-
- DOI 10.46298/afm.15328
- ARK ark:/51647/srd1332393
- Persistent URL
- https://n2t.net/ark:/51647/srd1332393
Export to…
Statistics
Document views: 167
File downloads:
- 2503.00959: 214