Well-defined semantics for floating-point computations: the MPFR library
Résumé
no abstract
Communication Dans Un Congrès
Année : 2000
Fabrice Rouillier : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01434760
Soumis le : vendredi 13 janvier 2017-13:21:09
Dernière modification le : mardi 11 avril 2023-15:16:28
Dates et versions
Identifiants
- HAL Id : hal-01434760 , version 1
Citer
Fabrice Rouillier. Well-defined semantics for floating-point computations: the MPFR library. MuPAD Workshop 2000, 2000, Unknown, Unknown Region. ⟨hal-01434760⟩
Collections
114
Consultations
0
Téléchargements