Logiciel
Année : 2018
Yves Bertot : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-01767263
Soumis le : lundi 16 avril 2018-09:18:15
Dernière modification le : mercredi 15 mars 2023-08:58:09
Dates et versions
Identifiants
Citer
Yves Bertot. Formal study in Coq of pi computations using arithmetic-geometric means. 2018, ⟨swh:1:dir:47d41cb06472ccf913aba4be5b08aeb725a8888d;origin=https://hal.archives-ouvertes.fr/hal-01767263;visit=swh:1:snp:cd55c2657ac70c9b15ae4384b6af1ae6ce8df512;anchor=swh:1:rev:b1e197c030e66d588987087a193fc3a88d8bd5ed;path=/⟩. ⟨hal-01767263⟩
Collections
483
Consultations
26
Téléchargements