Réaliser des calculs complexes est devenu chose facile avec nos ordinateurs, mais doit-on aveuglément faire confiance aux résultats obtenus par nos machines ? Comment calculent nos ordinateurs ? Sylvie Boldo, chercheuse en preuve de programmes et arithmétique des ordinateurs, nous apporte quelques éléments de réponse...

">
Les Newsletters Interstices
    Niveau facile
    Niveau 1 : Facile

    Pourquoi mon ordinateur calcule-t-il faux ?

    Langages, programmation & logiciel
    Sécurité & Vie privée

    Réaliser des calculs complexes est devenu chose facile avec nos ordinateurs, mais doit-on aveuglément faire confiance aux résultats obtenus par nos machines ? Comment calculent nos ordinateurs ? Sylvie Boldo, chercheuse en preuve de programmes et arithmétique des ordinateurs, nous apporte quelques éléments de réponse...

    Ecoutez l'interview de Sylvie Boldo

    Sylvie Boldo

    Nos ordinateurs font eux aussi des erreurs de calcul et cela peut compromettre des programmes ! Dans ce quatrième épisode du podcast audio, Sylvie Boldo répond aux questions de Joanna Jongwane, pour nous expliquer ce que sont les calculs en nombres flottants et faire le point sur les méthodes développées pour pallier les erreurs de calcul.

    Pour aller plus loin, consultez les documents

    Le « dilemme du fabricant de tables » ou comment calculer juste
    MPFR : vers un calcul flottant correct ?
    et Des arithmétiques pour la géométrie.

    Newsletter

    Recevez chaque mois une sélection d'articles

    Niveau de lecture

    Aidez-nous à évaluer le niveau de lecture de ce document.

    Si vous souhaitez expliquer votre choix, vous pouvez ajouter un commentaire (Il ne sera pas publié).

    Votre choix a été pris en compte. Merci d'avoir estimé le niveau de ce document !

    Sylvie Boldo

    Chargée de recherche Inria dans l'équipe TOCCATA.

    Voir le profil

    Joanna Jongwane

    Rédactrice en chef d'Interstices, Direction de la communication d'Inria
    Voir le profil