Même les ordinateurs font des erreurs !

Sylvie Boldo 1, 2
1 TOCCATA - Certified Programs, Certified Tools, Certified Floating-Point Computations
LRI - Laboratoire de Recherche en Informatique, UP11 - Université Paris-Sud - Paris 11, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8623
2 LRI - Laboratoire de Recherche en Informatique
Type de document :
Chapitre d'ouvrage
Martin Andler; Liliane Bel; Sylvie Benzoni-Gavage; Thierry Goudon; Cyril Imbert; Antoine Rousseau. Brèves de maths, Nouveau Monde Editions, pp.136-137, 2014, 978-2-36583-896-2
Liste complète des métadonnées
https://hal.inria.fr/hal-01089095
Contributeur : Sylvie Boldo <>
Soumis le : lundi 1 décembre 2014 - 10:36:24
Dernière modification le : jeudi 5 avril 2018 - 12:30:22

Identifiants

  • HAL Id : hal-01089095, version 1

Collections

INSMI | UMR8623 | INRIA-MECSCI | INRIA | LRI-VALS | TDS-MACS

Citation

Sylvie Boldo. Même les ordinateurs font des erreurs !. Martin Andler; Liliane Bel; Sylvie Benzoni-Gavage; Thierry Goudon; Cyril Imbert; Antoine Rousseau. Brèves de maths, Nouveau Monde Editions, pp.136-137, 2014, 978-2-36583-896-2. 〈hal-01089095〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

230

Contact


archive-ouverte@inria.fr