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)
Licence
Loading...

Dates et versions

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

Licence

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⟩
1045 Consultations
1290 Téléchargements

Partager

  • More