8 résultats : virgule flottante

Recherche en cours

Par mots-clef = virgule flottante

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.

8 résultats

page 1 sur 1

résultats 1 à 8

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 ...

Mots clés : bug, algorithmique, arithmétique flottante, calcul informatique, méthode formelle, nombre à virgule flottante, preuve de programme, vérification de logiciel

Date : 16-06-2009

Droits : Droits réservés à l'éditeur et aux auteurs.

Pourquoi mon ordinateur calcule faux?

Ajouter à mon panier

Accéder aux documents

Les nombres et l'ordinateur

Description : Nous confions à nos ordinateurs de nombreux calculs (météo, simulations aéronautiques, jeux vidéos, feuilles Excel...) et nous considérons naturellement que l'ordinateur fournira une réponse juste. Malheureusement, la machine a ses limites que l'esprit humain n'a pas. Elle utilise une ar ...

Mots clés : calcul informatique, preuve de programme, analyse numérique, arithmétique virgule flottante, erreur de calcul, méthodes formelles

Date : 05-06-2013

Droits : Droits réservés à l'éditeur et aux auteurs.

Les nombres et l'ordinateur

Ajouter à mon panier

Accéder aux documents

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.

Mots clés : podcast, virgule flottante, double précision, calcul numérique, erreur, norme IEEE 754, fuscia

Date : 26-03-2008

Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode

Pourquoi mon ordinateur calcule-t-il faux ?

Ajouter à mon panier

Accéder au document

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 !

Mots clés : erreur, virgule flottante, norme IEEE 754, double précision, calcul par ordinateur, fuscia

Date : 24-02-2004

Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode

Le « dilemme du fabricant de tables » ou comment calculer juste

Ajouter à mon panier

Accéder au document

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.

Mots clés : géométrie algorithmique, enveloppe convexe, algorithme de Jarvis, erreur, calcul exact, virgule flottante, fuscia

Date : 06-12-2005

Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode

Un joli algorithme géométrique et ses vilains problèmes numériques

Ajouter à mon panier

Accéder au document

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 ...

Mots clés : 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

Date : 05-02-2004

Droits : Document libre, dans le cadre de la licence Creative Commons (http://creativecommons.org/licenses/by-nd/2.0/fr/), citation de l'auteur obligatoire et interdiction de désassembler (paternité, pas de modification)

Le mauvais résultat tout de suite, ou le bon résultat trop tard ? (série : Colloquium Jacques Morgenstern)

Ajouter à mon panier

Accéder au document

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 ...

Mots clés : géométrie algorithmique, erreur, virgule flottante, arithmétique d'intervalles, CGAL, arrondi géométrique, fuscia

Date : 19-12-2005

Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode

Des arithmétiques pour la géométrie

Ajouter à mon panier

Accéder au document

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.

Mots clés : erreur, bibliothèque MPFR, virgule flottante, double précision, norme IEEE 754, précision arbitraire, fuscia

Date : 27-09-2004

Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode

MPFR : vers un calcul flottant correct ?

Ajouter à mon panier

Accéder au document

Rebondir