2 résultats : CASTIEL ANITA

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
2 résultats
page 1 sur 1
résultats 1 à 2
UNIT
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
 En savoir plus
 Description complète
Le « dilemme du fabricant de tables » ou comment calculer juste
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé
UNIT
Une preuve sur les nombres premiers
Description : Un ordinateur, c’est avant tout une machine. Est-il alors bien raisonnable de lui confier des démonstrations ? Voici un exemple propre à convaincre les sceptiques.
Mots clés : algorithme de Knuth, preuve formelle, Coq, complexité, 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
 En savoir plus
 Description complète
Une preuve sur les nombres premiers
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé