Scholar
David Loeffler
Google Scholar ID: bJtZobkAAAAJ
Professor of Mathematics, UniDistance Suisse
Number Theory
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,190
H-index
21
i10-index
32
Publications
20
Co-authors
11
Publications
1 items
Formalizing zeta and L-functions in Lean
2025
Cited
0
