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. Je travaille principalement sur l'arithmétique des ordinateurs (en particulier, la virgule flottante et l'arrondi correct, en précision fixe ou arbitraire). Je participe aussi à la normalisation: IEEE 754, arithmétique d'intervalles (P1788), POSIX. Je suis un des principaux développeurs de la bibliothèque GNU MPFR (arithmétique à virgule flottante en précision arbitraire avec arrondi correct), sur laquelle j'ai commencé à travailler quand j'étais au Loria.
Mon blog associé à ces pages web.
Test de fonctions mathématiques de la bibliothèque standard C sur diverses machines.
Voir aussi sipe.h (Small Integer Plus Exponent).
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.
Notre livre Handbook of Floating-Point Arithmetic (sur le site de l'éditeur; voir aussi cette page avec liens et errata).
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 (en anglais): PDF, PS gzippé.
Recherche de pires cas de sin(BIG) (en double précision), journées au vert SPACES, juin 2006 (en français): 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 (en anglais): 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 (en français): PDF.
Introduction à la bibliothèque GNU MPFR, école d'été CNC'2, juin 2009 (en anglais): PDF.
Trouver des pires cas pour l'arrondi correct de fonctions mathématiques numériquement régulières en précision fixée, communication interne, octobre 2009 (en anglais): PDF.
Preuves par tests exhaustifs en basse précision, groupe de travail Arénaire, novembre 2009 (en anglais): PDF.
Approximations hiérarchiques d'une fonction par des polynômes dans LEMA, communication interne, février 2010 (en anglais): PDF.
Arrondi correct de fonctions mathématiques, séminaire des élèves de l'ENS-Lyon, mars 2010 (en anglais): PDF.
Introduction à la bibliothèque GNU MPFR, GNU Hackers Meeting (Paris), août 2011 (en anglais): PDF.
Génération d'une arithmétique d'intervalles minimale basée sur GNU MPFR (dans le contexte de la recherche de cas difficiles à arrondir), séminaire Dagstuhl 11371 Uncertainty modeling and analysis with intervals: Foundations, tools, applications, septembre 2011 (en anglais): 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 / 754-2008). Voir aussi: errata IEEE 754-2008.
Multiprécision / précision arbitraire:
La bibliothèque GMP (entiers, nombres rationnels).
La bibliothèque GNU MPFR (arithmétique à virgule flottante avec arrondi correct). Essayez-la en ligne!
La bibliothèque GNU MPC (nombres complexes), basée sur GNU MPFR.
La bibliothèque MPFI (arithmétique d'intervalles), basée sur GNU MPFR.
iRRAM, arithmétique exacte en C++, basée sur GNU MPFR.
Pages sur l'arithmétique d'intervalles et sur sa standardisation.
Site web sur le calcul géométrique exact et la bibliothèque Core.
Page générée à partir du fichier research/index.fr.xml le 2012-05-02 par xsltproc (using libxml 20708, libxslt 10126 and libexslt 815).
Note: cette conversion à partir de fichiers DocBook est toujours expérimentale; merci de me signaler tout problème.