Formal Verification for Numerical Computations, and the Other Way Around - TEL - Thèses en ligne Accéder directement au contenu
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⟩
270 Consultations
794 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More