I am an INRIA researcher (Chargé de Recherche) at the Laboratoire de l'Informatique du Parallélisme (École Normale Supérieure de Lyon) in the Arénaire project. I mainly work on computer arithmetic (in particular, floating-point arithmetic and correct rounding, in fixed or arbitrary precision). I also participate in standardization: IEEE 754, interval arithmetic (P1788), POSIX. I am one of the main developers of the GNU MPFR library (arbitrary-precision floating-point arithmetic with correct rounding), on which I started to work when I was at Loria.
My blog associated with these web pages.
Test of mathematical functions of the standard C library on various machines.
See also sipe.h (Small Integer Plus Exponent).
You can see the list of my publications (with a link to the publication if it is available on the web) or download it in the bibtex format.
Our book Handbook of Floating-Point Arithmetic (on the publisher's site; see also this page with links and errata).
Information about the file formats of my slides.
The table maker's dilemma, Caen, France, March 1999 (in French): PDF, gzipped PS.
The table maker's dilemma, AOC workshop, November 2000 (in English): PDF, gzipped PS.
The table maker's dilemma, École de Printemps Arithmétique des Ordinateurs, Prapoutel, France, March 2001 (in French): PDF, gzipped PS.
Multiplication by an integer constant, AOC workshop, June 2001 (in French): PDF, gzipped PS.
MPFR (software demonstration), Computability and Complexity in Analysis workshop, Málaga, Spain, July 2002 (in English): PDF, gzipped PS.
Exhaustive tests of the elementary functions, Arinews workshop, November 2002 (in French): PDF, gzipped PS.
Exhaustive tests of the elementary functions, journées au vert SPACES, May 2003 (in French): PDF, gzipped PS.
Multiplication by an integer constant, lower bounds on the code length, RNC'5, École Normale Supérieure de Lyon, Lyon, France, September 2003 (in English): PDF, gzipped PS.
Exhaustive tests of the elementary functions, Arinews workshop, November 2003 (in French): PDF, gzipped PS.
Back on the algorithm that computes a lower bound on the distance between a segment and ℤ2, Arinews workshop, May 2004 (in French): PDF, gzipped PS. Associated HTML file: example.
Back on the algorithm that computes a lower bound on the distance between a segment and ℤ2, journées au vert SPACES, June 2004 (in French): PDF, gzipped PS. Associated HTML file: example.
The generic multiple-precision floating-point addition with correct rounding (as in the MPFR library), RNC'6, Schloß Dagstuhl, Germany, November 2004 (in English): PDF, gzipped PS.
The Euclidean division implemented with a floating-point division and a floor, Arinews workshop, March 2005 (in French): PDF, gzipped PS.
New results on the distance between a segment and ℤ2 — application to the exact rounding, Arith'17, June 2005 (in English): PDF, gzipped PS.
Worst cases for the exponential function in the IEEE 754r decimal64 format, JNAO, May/June 2006 (in English): PDF, gzipped PS.
Searching for worst cases of sin(BIG) (in double precision), journées au vert SPACES, June 2006 (in French): PDF, gzipped PS.
Searching for some worst cases for the correct rounding of the power functions in double precision, Dagstuhl Seminar 08021 Numerical Validation in Current Hardware Architectures, January 2008 (in English): PDF.
Approximating a function f by polynomials to compute approximate successive values f(0), f(1), f(2)..., Arénaire workshop, March 2008 (in French): PDF.
Introduction to the GNU MPFR library, CNC'2 summer school, June 2009 (in English): PDF.
Finding worst cases for correct rounding of numerically regular math functions in fixed precision, internal communication, October 2009 (in English): PDF.
Proofs by exhaustive tests in small precision, Arénaire workshop, November 2009 (in English): PDF.
Hierarchical approximations of a function by polynomials in LEMA, internal communication, February 2010 (in English): PDF.
Correct rounding of mathematical functions, ENS-Lyon students' seminar, March 2010 (in English): PDF.
Introduction to the GNU MPFR library, GNU Hackers Meeting (Paris), August 2011 (in English): PDF.
Generating a minimal interval arithmetic based on GNU MPFR (in the context of the search for hard-to-round cases), Dagstuhl Seminar 11371 Uncertainty modeling and analysis with intervals: Foundations, tools, applications, September 2011 (in English): PDF.
SLZ algorithm and results.
Projet ANR EVA-Flo: Évaluation et Validation Automatique pour le calcul Flottant.
Arithmétique des Ordinateurs Certifiée (1999 - 2002).
About the IEEE-754 standard, and its revision (754R / 754-2008). See also: IEEE 754-2008 errata.
Multiple precision / arbitrary precision:
The GMP library (integers, rational numbers).
The GNU MPFR library (floating-point arithmetic with correct rounding). Try it online!
The GNU MPC library (complex numbers), based on GNU MPFR.
The MPFI library (interval arithmetic), based on GNU MPFR.
The Apfloat library.
iRRAM, exact arithmetic in C++, based on GNU MPFR.
Interval Computations pages and interval arithmetic standardization.
Exact geometric computation web site and the Core library.
Page generated from file research/index.en.xml on 2012-01-21 by xsltproc (using libxml 20708, libxslt 10126 and libexslt 815).
Note: this DocBook conversion is still experimental; please report any problem.