Date d'impression :
07.09.15
Page: http://test.sup-numerique.gouv.fr/pid31942/moteur-de-ressources.html
MOTEUR DE RESSOURCES
Consultez la rubrique :
Moteur de ressources
Fermer
Niv. 1
Niv. 2
Accueil du moteur de ressources
Ressources en auto-formation par mot-clé
V
virgule flottante
8
ressources en auto-formation :
virgule flottante
Rechercher
Tous les mots
Un des mots
L'expression exacte
FILTRES
1
1
Retour
Imprimer
Flux RSS
Date
Date
Titre
Auteur(s)
Affichage 10
Affichage 10
Affichage 20
Affichage 50
Affichage 100
8
résultats
page 1
sur 1
Résultats de
1 à 8
cours / présentation, démonstration
15/09/2006
Des arithmétiques pour la géométrie
Auteur(s)
:
Pion Sylvain
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
cours / présentation, démonstration
25/02/2004
Le « dilemme du fabricant de tables » ou comment calculer juste
Auteur(s)
:
Castiel Anita, Lefèvre Vincent, Zimmermann Paul
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
cours / présentation
02/06/2009
Le mauvais résultat tout de suite, ou le bon résultat trop tard ? (série : Colloquium Jacques Morgenstern)
Auteur(s)
:
Muller Jean-Michel
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
cours / présentation, démonstration
08/03/2005
MPFR : vers un calcul flottant correct ?
Auteur(s)
:
Zimmermann Paul
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
cours / présentation, démonstration
14/04/2008
Pourquoi mon ordinateur calcule-t-il faux ?
Auteur(s)
:
Boldo Sylvie, Jongwane Joanna
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
cours / présentation, démonstration
15/09/2006
Un joli algorithme géométrique et ses vilains problèmes numériques
Auteur(s)
:
Devillers Olivier
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
cours / présentation
Les nombres et l'ordinateur
Auteur(s)
:
BOLDO Sylvie
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 ...
calcul informatique
preuve de programme
analyse numérique
arithmétique virgule flottante
erreur de calcul
méthodes formelles
cours / présentation
Pourquoi mon ordinateur calcule faux?
Auteur(s)
:
BOLDO Sylvie
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
1