I am an associate professor in computer science at Université Joseph Fourier in Grenoble. I work in the CASYS team in the LJK lab (room 14 from the "IRMA" building).
I'm also part of the Palo-Alto research group in cryptography.
my papers,
my software,
my personal page.
Calcul mathématique avec Sage.
Book chapter, 2010.
With Alexandre Casamayou, Guillaume Connan, Thierry Dumont, François Maltey,
Matthias Meulien, Marc Mezzarobba, Clément Pernet, Nicolas M. Thiéry and Paul Zimmermann.
[BibTeX]
Simultaneous Modular Reduction and Kronecker Substitution for Small Finite Fields.
Journal of Symbolic Computations, 2010.
With Jean-Guillaume Dumas et Bruno Salvy.
States and exceptions are dual effects.
Research report, january 2010.
With Jean-Guillaume Dumas, Dominique Duval and Jean-Claude Reynaud.
Simultaneous Modular Reduction and Kronecker Substitution for Small Finite Fields.
HAL research report, august 2008.
With Jean-Guillaume Dumas and Bruno Salvy.
[PDF] (cached version)
[BibTeX]
Compressed Modular Matrix Multiplication.
MICA'2008: Milestones in Computer Algebra, pp 133-140, Stonehaven Bay, Trinidad and Tobago, 1-3 May 2008.
With Jean-Guillaume Dumas and Bruno Salvy.
[PDF] (cached version)
[BibTeX]
Intégration numérique avec erreur bornée en précision arbitraire.
PhD thesis, defended december 2006.
[PDF]
[BibTeX]
MPFR: A Multiple-Precision Binary Floating-Point Library with Correct Rounding.
ACM Transactions on Mathematical Software, 33(2), June 2007.
With Guillaume Hanrot, Vincent Lefèvre, Patrick Pélissier et Paul Zimmermann.
[PDF] (as an INRIA research report)
[BibTeX]
Accurate Multiple-Precision Gauss-Legendre Quadrature.
In 18th IEEE Symposium on Computer Arithmetic (ARITH-18 2007), 25-27 June 2007, Montpellier, France.
[PDF] (Version préliminaire)
[BibTeX]
Multiple-Precision Correctly rounded Newton-Cotes quadrature.
RAIRO Inf Theor. Appl. 41 (2007).
[PDF] (Version rapport de recherche INRIA)
[BibTeX].
A comparison of polynomial evaluation schemes.
In 6th Conference on Real Numbers and Computers RNC6. (Dagsthul, Allemagne). 2004.
With Susanne Schmitt.
[PS]
[PDF]
[BibTeX]
Accurate Summation: Towards a Simpler and Formal Proof.
In Proc. of RNC'5, pages 97-108, Mars 2003.
With Paul Zimmermann.
[PS]
[PDF]
[BibTeX]
Correctly Rounded Quadrature, the numerical integration library started for my PhD thesis. [BibTeX]
You can find links to other software I write from my home page.
| Adresse : | Bureau 14 tour IRMA 51 rue des Mathematiques BP 53 38041 Grenoble Cedex 9 |
| Téléphone : | +33 (0)4 76 63 58 96 |
| E-mail : | laurent <AT> komite <DOT> net |