IST Austria
Guillaume Dubach
Research
Teaching En fran├žais

Preprints

Publications

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: December 2021