I am a doctor in computer science. I prepared my PhD at Loria in the CACAO team, on the subject of accurate numerical integration in multiple-precision (defended december 2006). My advisor was Paul Zimmermann. The manuscript is available (in french).

I am currently working at INRIA Rocquencourt in the ALGO team (my office number is 918).

Content:

• my papers,
• my software,
• talks I gave,
• my education,
• my personal page.

My teaching material is only available in french and can be found from the french version of this page.

Papers:

• Compressed Modular Matrix Multiplication, with Jean-Guillaume Dumas et Bruno Salvy. MICA'2008: Milestones in Computer Algebra, pp 133-140, Stonehaven Bay, Trinidad and Tobago, 1-3 May 2008.
• Intégration numérique avec erreur bornée en précision arbitraire, Thèse. Version courante du manuscrit.
• MPFR: A Multiple-Precision Binary Floating-Point Library with Correct Rounding, with Guillaume Hanrot, Vincent Lefèvre, Patrick Pélissier et Paul Zimmermann. To appear in ACM TOMS. INRIA Research report version.
• Accurate Multiple-Precision Gauss-Legendre Quadrature, accepted at ARITH-18. Preliminary version.
• Correctly Rounded Newton-Cotes Quadrature, INRIA Research Report RR-5605, Juin 2005. A journal version will appear in RAIRO TIA.
• A comparison of polynomial evaluation schemes, with Susanne Schmitt, In 6th Conference on Real Numbers and Computers RNC6. (Dagsthul, Germany). 2004. 17p. (ps) (pdf)
• Accurate Summation: Towards a Simpler and Formal Proof, with Paul Zimmermann, In Proc. of RNC'5, pages 97-108, March 2003. (ps) (pdf)

Logiciels

• Correctly Rounded Quadrature, the numerical integration library started for my PhD thesis.

You can find links to other software I write from my home page.

Talks

Done:

• 2008-09-26 : Réunion d'équipe Arénaire, ÉNS Lyon.
• 2007-01-29 : Journées Nationales de Calcul Formel, Luminy.
• 2007-01-23 : Rencontres arithmétiques de l'informatique mathématique, Montpellier.
• 2006-12-11 : Séminaire ALGO, Paris.
• 2006-06-12 : TYPES Workshop on Numbers and Proofs, Orsay.
• 2006-06-02 : Journées Nationales d'Arithmétique des Ordinateurs, Lyon.
• 2006-01-05 : Séminaire de l'équipe DALI, Perpignan.
• 2005-10-06 : Séminaire de l'équipe ANP, Paris.
• 2004-11-15 : RNC6, Dagstuhl (Germany).
• 2004-05-25 : Journées Arinews Printemps 2004, Paris.
• 2003-09-03 : RNC5, École Normale Supérieure de Lyon.

Education

Contact