Rechercher une ressource pédagogique : virgule flottante

Le moteur de recherche des ressources pédagogiques donne accès à un ensemble de documents mis à disposition par l'Université Numérique, les établissements d'enseignement supérieur et Canal U. Vous y trouverez des productions universitaires dans l'ensemble des domaines de formation.

FILTRES

7 résultats
section 1 sur 1
résultats 1 à 7
UNIT
UNIT
19.12.2005
Des arithmétiques pour la géométrie
Description : La correction des algorithmes géométriques repose sur des théorèmes géométriques vrais pour une géométrie réelle - euclidienne par exemple -, mais faux en général pour une géométrie approchée, comme celle utilisée pour l’arithmétique flottante des ordinateurs. C’est pourquoi les chercheurs mettent ...
  • géométrie algorithmique
  • erreur
  • virgule flottante
  • arithmétique d'intervalles
  • CGAL
  • arrondi géométrique
  • fuscia
UNIT
UNIT
24.02.2004
Le « dilemme du fabricant de tables » ou comment calculer juste
Description : Certaines idées reçues sont tenaces, comme la fiabilité attribuée au calcul sur ordinateur, par rapport au calcul à la main par exemple. Calculer sans l’ombre d’une erreur, un jeu d’enfant pour les ordinateurs ? Pas vraiment !
  • erreur
  • virgule flottante
  • norme IEEE 754
  • double précision
  • calcul par ordinateur
  • fuscia
UNIT
UNIT
05.02.2004
Le mauvais résultat tout de suite, ou le bon résultat trop tard ? (série : Colloquium Jacques Morgenstern)
Description : Je vais essayer d'illustrer par quelques exemples les progrès accomplis ces dernières années dans le domaine de l'arithmétique virgule flottante. Longtemps l'arithmétique flottante n'a été qu'une collection de recettes de cuisine: on avait le choix entre utiliser cette arithmétique, et obtenir r ...
  • fuscia
  • conférence
  • STIC
  • arithmétique des ordinateurs
  • opération arithmétique
  • implantation sur machine
  • algorithme
  • calculabilité
  • virgule flottante
  • fiabilité
  • précision
  • cohérence
  • division
  • arrondi correct
  • dépassement de capacité
  • multiprécision
  • numération
UNIT
UNIT
27.09.2004
MPFR : vers un calcul flottant correct ?
Description : Obtenir un seul résultat pour un calcul donné : à première vue, cela semble une évidence ; c’est en fait un vaste sujet de recherche. Une nouvelle étape est franchie aujourd’hui grâce à MPFR, une bibliothèque de calcul multi-précision sur les nombres flottants.
  • erreur
  • bibliothèque MPFR
  • virgule flottante
  • double précision
  • norme IEEE 754
  • précision arbitraire
  • fuscia
UNIT
UNIT
26.03.2008
Pourquoi mon ordinateur calcule-t-il faux ?
Description : 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 ? Sylvie Boldo nous apporte quelques éléments de réponse.
  • podcast
  • virgule flottante
  • double précision
  • calcul numérique
  • erreur
  • norme IEEE 754
  • fuscia
UNIT
UNIT
06.12.2005
Un joli algorithme géométrique et ses vilains problèmes numériques
Description : Qu’est-ce que la géométrie algorithmique ? À partir d’un exemple, celui de l’enveloppe convexe, les problèmes numériques rencontrés lors de la construction d’un algorithme géométrique sont mis en évidence.
  • géométrie algorithmique
  • enveloppe convexe
  • algorithme de Jarvis
  • erreur
  • calcul exact
  • virgule flottante
  • fuscia
Canal-U
Canal-U
16.06.2009
Pourquoi mon ordinateur calcule faux?
Description : Dans cet exposé Sylvie Boldo nous fait prendre conscience de l'importance des bugs en informatique et des conséquences historiques qu'ils ont pu engendrer. Elle se concentre ensuite sur les problèmes liés aux calculs numériques et montre de manière détaillée et constructive comment prendre la mesure ...
  • bug
  • algorithmique
  • arithmétique flottante
  • calcul informatique
  • méthode formelle
  • nombre à virgule flottante
  • preuve de programme
  • vérification de logiciel