Quadratic floor sums II: fibre sums and quartic traces at conductor 8ℓp, formalized in Lean

Farland, Joseph S.

DOI: 10.5281/zenodo.23797606

На странице источника доступны аннотация, полный текст или сведения о том, где его прочитать.