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
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

Collections

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

627

Téléchargements de fichiers

14