Formal study in Coq of pi computations using arithmetic-geometric means - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Logiciel Année : 2018

Formal study in Coq of pi computations using arithmetic-geometric means

Yves Bertot
484 Consultations
26 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More