Arithmétique des ordinateurs et preuves formelles

Sylvie Boldo; Guillaume Melquiond

Chapitre D'ouvrage Année : 2013

Arithmétique des ordinateurs et preuves formelles

(1) , (1)

1

Sylvie Boldo

Fonction : Auteur
PersonId : 1201
IdHAL : sboldo
ORCID : 0000-0002-1970-3019
IdRef : 112505821

Formally Verified Programs, Certified Tools and Numerical Computations

CV

Guillaume Melquiond

Fonction : Auteur
PersonId : 1146
IdHAL : guillaume-melquiond
ORCID : 0000-0002-6697-1809
IdRef : 117280836

Formally Verified Programs, Certified Tools and Numerical Computations

CV

Domaines

Logique en informatique [cs.LO] Arithmétique des ordinateurs

Sylvie Boldo : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-01767900

Soumis le : lundi 16 avril 2018-17:15:47

Dernière modification le : mercredi 14 février 2024-03:09:35

Dates et versions

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

Identifiants

HAL Id : hal-01767900 , version 1

Citer

Sylvie Boldo, Guillaume Melquiond. Arithmétique des ordinateurs et preuves formelles. Informatique mathématique : Une photographie en 2013, 2013. ⟨hal-01767900⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

EC-PARIS CNRS INRIA UMR8623 INRIA2 LRI-VALS UNIV-PARIS-SACLAY

68 Consultations

0 Téléchargements

Arithmétique des ordinateurs et preuves formelles

Domaines

Dates et versions

Identifiants

Citer

Relations

Exporter

Collections

Partager