Je suis Chargé de Recherche INRIA au Laboratoire de l'Informatique du Parallélisme (École Normale Supérieure de Lyon) dans le projet Arénaire. Auparavant j'étais au Loria dans le projet SPACES.
Vous pouvez voir la liste de mes publications (avec un lien sur la publication lorsque celle-ci est disponible sur le web) ou la télécharger au format bibtex.
Information sur les formats de fichiers de mes transparents.
Le dilemme du fabricant de tables, Caen, France, mars 1999 (en français): PDF, PS gzippé.
Le dilemme du fabricant de tables, groupe de travail AOC, novembre 2000 (en anglais): PDF, PS gzippé.
Le dilemme du fabricant de tables, École de Printemps Arithmétique des Ordinateurs, Prapoutel, France, mars 2001 (en français): PDF, PS gzippé.
Multiplication par une constante entière, groupe de travail AOC, juin 2001 (en français): PDF, PS gzippé.
MPFR (démonstration de logiciels), groupe de travail Computability and Complexity in Analysis, Málaga, Espagne, juillet 2002 (en anglais): PDF, PS gzippé.
Tests exhaustifs des fonctions élémentaires, groupe de travail Arinews, novembre 2002 (en français): PDF, PS gzippé.
Tests exhaustifs des fonctions élémentaires, journées au vert SPACES, mai 2003 (en français): PDF, PS gzippé.
Multiplication par une constante entière, minorants de la longueur du code, RNC'5, École Normale Supérieure de Lyon, Lyon, France, septembre 2003 (en anglais): PDF, PS gzippé.
Tests exhaustifs des fonctions élémentaires, journées Arinews, novembre 2003 (en français): PDF, PS gzippé.
Retour sur l'algorithme de minoration de la distance d'un segment de droite à ℤ2, journées Arinews, mai 2004 (en français): PDF, PS gzippé. Fichier HTML associé: exemple.
Retour sur l'algorithme de minoration de la distance d'un segment de droite à ℤ2, journées au vert SPACES, juin 2004 (en français): PDF, PS gzippé. Fichier HTML associé: exemple.
L'addition flottante générique en multiprécision avec arrondi correct (comme dans la bibliothèque MPFR), RNC'6, Schloß Dagstuhl, Allemagne, novembre 2004 (en anglais): PDF, PS gzippé.
La division euclidienne implémentée avec une division flottante et une partie entière, journées Arinews, mars 2005 (en français): PDF, PS gzippé.
Nouveaux résultats sur la distance entre un segment de droite et ℤ2 — application à l'arrondi exact, Arith'17, juin 2005 (en anglais): PDF, PS gzippé.
Pires cas de la fonction exponentielle dans le format decimal64 d'IEEE 754r, JNAO, mai/juin 2006: PDF, PS gzippé.
Recherche de quelques pires cas pour l'arrondi correct des fonctions puissance en double précision, séminaire Dagstuhl 08021 Numerical Validation in Current Hardware Architectures, janvier 2008: PDF.
Approximation d'une fonction f par des polynômes pour le calcul approché des valeurs successives f(0), f(1), f(2)..., groupe de travail Arénaire, mars 2008: PDF.
Algorithme SLZ et résultats.
Projet ANR EVA-Flo: Évaluation et Validation Automatique pour le calcul Flottant.
Arithmétique des Ordinateurs Certifiée (1999 - 2002).
Au sujet de la norme IEEE-754, et sa révision (754R).
La bibliothèque GMP.
La bibliothèque MPFR (et aussi MPFR++ et MPFI). Essayez-la en ligne!
iRRAM, arithmétique exacte en C++.
Pages sur l'arithmétique d'intervalles.
Site web sur le calcul géométrique exact et la bibliothèque Core.
SCSLib, une bibliothèque multiprécision rapide et légère supportant les quatre opérations arithmétiques, développée dans le projet Arénaire à l'ENS-Lyon (France); la précision (210 bits par défaut) est fixée à la compilation.