Lac de l'X
Guillaume Dubach
Research
Teaching En français

Publications
Coming soon
  • P. Deift, G. Dubach, C. Tomei, T. Trogdon, The Toda lattice and the eigenvalue problem for random Hermitian matrices (book, in prep.)

  • P. Bourgade, G. Dubach, L. Hartung, Fisher-Hartwig asymptotics for non-Hermitian random matrices, in prep.


Formal verification

  Zagier's one-sentence proof of Fermat's two squares theorem, with F. Muehlboeck.
                     Current code available on github.com/gdubach/Zagier_project.
                     Companion paper: Formal verification of Zagier's one-sentence proof (2021)

Updated: March 2024