Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Muehlboeck, Fabian"'
Publikováno v:
In Science of Computer Programming February 2025 240
Autor:
Dubach, Guillaume, Muehlboeck, Fabian
We comment on two formal proofs of Fermat's sum of two squares theorem, written using the Mathematical Components libraries of the Coq proof assistant. The first one follows Zagier's celebrated one-sentence proof; the second follows David Christopher
Externí odkaz:
http://arxiv.org/abs/2103.11389
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.