Modular Forms — Hungerbühler–Wasem & Valence Formula in Lean

Blueprint Bibliography🔗

Bibliography (2)
  • Fred Diamond and Jerry Shurman (2005). “A First Course in Modular Forms”. Graduate Texts in Mathematics 228, Springer-Verlag. .
    Cited from (0)
    • No citation uses recorded.
  • Norbert Hungerbühler and Micha Wasem (2018). “A residue theorem for closed piecewise C¹ immersions”. arXiv preprint arXiv:1810.13524. .
    Cited from (0)
    • No citation uses recorded.