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

Browse

- Identifier : swh:1:rev:b1e197c030e66d588987087a193fc3a88d8bd5ed  Browse

https://hal.inria.fr/hal-01767263
Contributor : Yves Bertot <>
Submitted on : Monday, April 16, 2018 - 9:18:15 AM
Last modification on : Wednesday, September 12, 2018 - 1:15:44 AM

Collections

Citation

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

Share

Metrics

Record views

674

Files downloads

15