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

Yves Bertot 1
1 MARELLE - Mathematical, Reasoning and Software
CRISAM - Inria Sophia Antipolis - Méditerranée
Type de document :
Logiciel
Liste complète des métadonnées

Consulter

- Identifiant : swh:1:rev:b1e197c030e66d588987087a193fc3a88d8bd5ed  Consulter
https://hal.inria.fr/hal-01767263
Contributeur : Yves Bertot <>
Soumis le : lundi 16 avril 2018 - 09:18:15
Dernière modification le : mercredi 12 septembre 2018 - 01:15:44

Métadonnées


Licences
MIT License

Collections

INRIA | UNIV-COTEDAZUR

Citation

Yves Bertot. Formal study in Coq of pi computations using arithmetic-geometric means. 2018, 〈swh:1:rev:b1e197c030e66d588987087a193fc3a88d8bd5ed〉. 〈hal-01767263〉

Partager

Métriques

Consultations de la notice

664

Téléchargements de fichiers

15

Contact


archive-ouverte@inria.fr