Conférence de Jean-Michel Muller organisée par le département d'informatique.
L’arithmétique virgule flottante est de loin le moyen le plus utilisé pour représenter des nombres réels sur ordinateur. Elle souffre cependant d’une mauvaise réputation: on ne pourrait pas faire confiance aux résultats qu’elle retourne., A moins de faire de longs calculs d’erreur, qui eux mêmes sont d’ailleurs très approximatifs. Nous montrerons par quelques exemples simples qu’on peut obtenir des informations beaucoup plus précises qu’on ne le croit, que l’on peut prouver des propriétés d’algorithmes utilisant la virgule flottante, faire quand on en a besoin des calculs "exacts".
Catégories: Séminaire général du département d'informatique
Mot-clés : logiciel, programmation, ordinateur, Arithmétique, calcul flottant
Voir aussi
|
|
Cursus :
Jean-Michel Muller est informaticien, directeur de recherche CNRS au Lip (CNRS/ENS de Lyon/Université Claude Bernard Lyon 1/Inria). Il est spécialiste de l’arithmétique des ordinateurs.
Médaille d'argent du CNRS 2013.
Cliquer ICI pour fermerDernière mise à jour : 15/10/2014
Tous droits réservés
@ 2011 ENS