En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK
1

Arithmétique à virgule flottante : plaie ou terrain de jeu ?

Bookmarks Report an error
Multi angle
Authors : Boldo, Sylvie (Author of the conference)
CIRM (Publisher )

Loading the player...

Abstract : Nous confions à nos ordinateurs de nombreux calculs mais la machine a des limites due à son arithmétique dite à virgule flottante. D'une part chaque calcul est effectué avec un certain nombre de chiffres (souvent environ 15 chiffres décimaux) et donc chaque calcul peut créer une erreur, certes faible, mais qui peut s'accumuler avec les précédentes pour fournir un résultat complètement faux. D'autre part, les valeurs que l'ordinateur appréhende ont des limites vers l'infiniment petit et l'infiniment grand. Hors de ces bornes, l'ordinateur produit des valeurs spéciales souvent inattendues. La première partie de cet exposé montrera que l'ordinateur n'est pas infaillible ou plutôt que son utilisation est parfois abusive. La seconde partie consisitera en une utilisation judicieuse de l'arithmétique flottante de façon à récupérer les erreurs ou à garantir un calcul
presque juste, même dans les cas pathologiques.

MSC Codes :
65G50 - Roundoff error
68Q60 - Specification and verification (program logics, model checking, etc.)
68T15 - Theorem proving (deduction, resolution, etc.)
65Y04 - Algorithms for computer arithmetic, etc.
65G20 - Algorithms with automatic result verification

    Information on the Video

    Film maker : Hennenfent, Guillaume
    Language : French
    Available date : 11/05/2017
    Conference Date : 03/05/2017
    Subseries : Research talks
    arXiv category : Numerical Analysis ; Computer Science
    Mathematical Area(s) : Computer Science ; Numerical Analysis & Scientific Computing
    Format : MP4 (.mp4) - HD
    Video Time : 02:30:39
    Targeted Audience : Researchers
    Download : https://videos.cirm-math.fr/2017-05-04_Boldo.mp4

Information on the Event

Event Title : Algorithm and Programming / Algorithmique et programmation
Event Organizers : Albert, Luc ; Boisson, François ; Dorra, Francis ; Petit, Antoine
Dates : 01/05/2017 - 05/05/2017
Event Year : 2017
Event URL : http://conferences.cirm-math.fr/1597.html

Citation Data

DOI : 10.24350/CIRM.V.19163703
Cite this video as: Boldo, Sylvie (2017). Arithmétique à virgule flottante : plaie ou terrain de jeu ?. CIRM. Audiovisual resource. doi:10.24350/CIRM.V.19163703
URI : http://dx.doi.org/10.24350/CIRM.V.19163703

See Also

Bibliography



Bookmarks Report an error