Introduction à l’arithmétique des ordinateurs
Femmes & math, Forum 6 des Jeunes Mathématiciennes et des Jeunes Informaticiennes (2002), pp. 7-10.
Publié le :
Boldo, Sylvie 1

1 UMR 5668 CNRS-INRIA-ENS Lyon École Normale Supérieure de Lyon 46, Allée d’Italie 69364 Lyon Cedex 07 France
@article{RFM_2002__6_S2_7_0,
     author = {Boldo, Sylvie},
     title = {Introduction \`a l{\textquoteright}arithm\'etique des ordinateurs},
     journal = {Femmes & math},
     pages = {7--10},
     publisher = {Association femmes et math\'ematiques},
     year = {2002},
     language = {fr},
     url = {http://www.numdam.org/item/RFM_2002__6_S2_7_0/}
}
TY  - JOUR
AU  - Boldo, Sylvie
TI  - Introduction à l’arithmétique des ordinateurs
JO  - Femmes & math
PY  - 2002
SP  - 7
EP  - 10
PB  - Association femmes et mathématiques
UR  - http://www.numdam.org/item/RFM_2002__6_S2_7_0/
LA  - fr
ID  - RFM_2002__6_S2_7_0
ER  - 
%0 Journal Article
%A Boldo, Sylvie
%T Introduction à l’arithmétique des ordinateurs
%J Femmes & math
%D 2002
%P 7-10
%I Association femmes et mathématiques
%U http://www.numdam.org/item/RFM_2002__6_S2_7_0/
%G fr
%F RFM_2002__6_S2_7_0
Boldo, Sylvie. Introduction à l’arithmétique des ordinateurs. Femmes & math, Forum 6 des Jeunes Mathématiciennes et des Jeunes Informaticiennes (2002), pp. 7-10. http://www.numdam.org/item/RFM_2002__6_S2_7_0/

[1] Marc Daumas et Jean-Michel Muller (éditeurs), Qualité des calculs sur ordinateur  : vers des arithmétiques plus fiables. Masson (1997)

[2] David Goldberg, What every computer scientist should know about floating point arithmetic. ACM Computing Surveys (1991)

[3] Guillaume Hanrot, Vincent Lefèvre, Fabrice Rouillier et Paul Zimmermann, The MPFR library. www.mpfr.org. Version 2001.

[4] Michèle Pichat, Contributions à l’etude des erreurs d’arrondi en arithmétique à virgule flottante. Thèse (1976)

[5] Nathalie Revol et Fabrice Rouillier, The MPFI library. version 2001, http://www.ens-lyon.fr/~nrevol. (2001)

[6] Jonathan R. Shewchuk, Adaptive Precision Floating-Point Arithmetic and Fast Robust Geometric Predicates. Discrete and Computational Geometry (1997) | MR | Zbl

[7] David Stevenson et al., IEEE Standard for Binary Floating-Point Arithmetic. ANSI/IEEE (1985)