Hdr Année : 2019

Formal Verification for Numerical Computations, and the Other Way Around

Fichier principal
Vignette du fichier
hdr.pdf (1.52 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

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⟩
322 Consultations
862 Téléchargements

Partager

More