Un peu de théorie des nombres et de calcul formel au service de l'arithmétique des ordinateurs

Nicolas Brisebarre 1, 2, 3
Résumé : Dans ce mémoire, j'évoque les travaux de recherche que j'ai menés depuis mon doctorat. L'essentiel de mon activité est consacrée à l'arithmétique des ordinateurs et, plus précisément, à l'évaluation de fonctions en machine. Un objectif général de mon travail est l'amélioration de la qualité (précision, fiabilité, garantie), de la vitesse et du coût (en mémoire, en énergie, en silicium) des calculs en machine. On souhaite pouvoir ainsi produire des logiciels fiables, rapides et portables et du matériel (processeurs, systèmes embarqués par exemple) rapide, fiable et moins coûteux. Une caractéristique de mon approche de ces questions d'arithmétique des ordinateurs est la mobilisation d'outils de théorie des nombres, plus précisément d'approximation diophantienne, et de calcul formel, plus précisément de calcul symbolique-numérique, pour modéliser et attaquer ces problèmes. Dans la première et principale partie de ce texte, je présente les travaux que j'ai réalisés, en collaboration, sur l'évaluation des fonctions élémentaires : j'étudie l'approximation sous contraintes sur les coefficients, l'arrondi correct de l'évaluation de la fonction ou encore la certification de l'erreur d'approximation. Les sujets des thèses que j'ai co-encadrées relèvent tous de cette première partie. Dans la seconde partie, j'évoque brièvement la mise au point d'algorithmes de bas niveau pour accélérer certaines primitives pour le calcul flottant ou la cryptologie à clé publique (couplages sur des courbes elliptiques) et mes travaux en approximation diophantienne.
Type de document :
HDR
Arithmétique des ordinateurs. École Normale Supérieure de Lyon, 2017
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/tel-01658342
Contributeur : Nicolas Brisebarre <>
Soumis le : jeudi 7 décembre 2017 - 15:21:56
Dernière modification le : vendredi 8 décembre 2017 - 01:21:47

Fichier

hdrNBrisebarre.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : tel-01658342, version 1

Collections

Citation

Nicolas Brisebarre. Un peu de théorie des nombres et de calcul formel au service de l'arithmétique des ordinateurs. Arithmétique des ordinateurs. École Normale Supérieure de Lyon, 2017. 〈tel-01658342〉

Partager

Métriques

Consultations de la notice

37

Téléchargements de fichiers

10