Formal Verification for Numerical Computations, and the Other Way Around - Archive ouverte HAL
Hdr Année : 2019

Formal Verification for Numerical Computations, and the Other Way Around

Guillaume Melquiond
Formally Verified Programs, Certified Tools and Numerical Computations
CV

Domaines

Arithmétique des ordinateurs Logique en informatique [cs.LO]
Fichier principal
Vignette du fichier
hdr.pdf (1.52 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Guillaume Melquiond  : Connectez-vous pour contacter le contributeur

https://theses.hal.science/tel-02194683

Soumis le : jeudi 25 juillet 2019-17:39:52

Dernière modification le : jeudi 28 mars 2024-16:32:46

Télécharger pour visualiser

Dates et versions

tel-02194683 , version 1 (25-07-2019)

Identifiants

  • HAL Id : tel-02194683 , version 1

Citer

Guillaume Melquiond. Formal Verification for Numerical Computations, and the Other Way Around. Computer Arithmetic. Université Paris Sud, 2019. ⟨tel-02194683⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA UMR8623 CENTRALESUPELEC INRIA2 LRI-VALS UNIV-PARIS-SACLAY GS-COMPUTER-SCIENCE LMF
303 Consultations
834 Téléchargements

Partager

More