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".
Thèmes : Mathematiques , InformatiqueVoir 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 fermer Annexes Téléchargements :Dernière mise à jour : 15/10/2014
Liens utiles
Contact
Partenaires
Conditions d'utilisation
Mentions légales
Podcasts
> Colloquium DEC
> Les Ernest
> Les jeudis de l’archéologie
> Actualité critique
> Les jeudis de l’HPS
> Séminaire Médecine
Humanités
> Journée Georges Bram
> Les lundis de la philo
> Les Nuits de l’ENS
> Semaine du cerveau
> Séminaire général du
département d'informatique
> Séminaire général
de physique
> Séminaire Transferts culturels
> La Voix d’un texte