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 : mardi 17 avril 2018 - 01:32:44

Métadonnées


Licences
MIT License

Collections

INRIA

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

529

Téléchargements de fichiers

12

Contact


archive-ouverte@inria.fr