Courô
Guillaume Dubach
Research
Teaching En français

Publications
Preprints

Coming soon
  • P. Deift, G. Dubach, C. Tomei, T. Trogdon, Universality in Computation, 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: October 2022