David Loeffler

According to our database, David Loeffler authored at least 5 papers between 2008 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Formalizing zeta and L-functions in Lean.

David Loeffler, Michael Stoll

CoRR, March, 2025

2015

Erratum: "On the computation of local components of a newform".

David Loeffler, Jared Weinstein

Math. Comput., 2015

2014

Congruence testing for odd subgroups of the modular group.

Thomas Hamilton, David Loeffler

LMS J. Comput. Math., 2014

2012

On the computation of local components of a newform.

David Loeffler, Jared Weinstein

Math. Comput., 2012

2008

Explicit Calculations of Automorphic Forms for Definite Unitary Groups.

David Loeffler

LMS J. Comput. Math., 2008