Formal study in Coq of pi computations using arithmetic-geometric means - Inria - Institut national de recherche en sciences et technologies du numérique

Documentation
Français (FR)

Anglais (EN)

Logiciel Année : 2018

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

(1)

1

Yves Bertot

Fonction : Auteur
PersonId : 21022
IdHAL : yves-bertot
ORCID : 0000-0001-5052-3019
IdRef : 060348313

Mathematical, Reasoning and Software

Domaines

Logique en informatique [cs.LO] Arithmétique des ordinateurs Algorithme et structure de données [cs.DS]

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

hal-01767263 , version 1 (16-04-2018)

Identifiants

HAL Id : hal-01767263 , version 1
SWHID : swh:1:dir:47d41cb06472ccf913aba4be5b08aeb725a8888d;origin=https://hal.archives-ouvertes.fr/hal-01767263;visit=swh:1:snp:cd55c2657ac70c9b15ae4384b6af1ae6ce8df512;anchor=swh:1:rev:b1e197c030e66d588987087a193fc3a88d8bd5ed;path=/

version :
Licences : MIT License
Code Repository :

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⟩

Exporter

CodeMeta BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

INRIA INRIA2 UNIV-COTEDAZUR

483 Consultations

26 Téléchargements

Partager