Towards Correctly Rounded Transcendentals. - Vincent Lefèvre; Arnaud Tisserand; Jean-Michel Muller (IEEE Symposium on Computer Arithmetic, 1997)

An Algorithm that Computes a Lower Bound on the Distance Between a Segment and ℤ2. - Vincent Lefèvre (SCAN, 1998)

Toward Correctly Rounded Transcendentals. - Vincent Lefèvre; Jean-Michel Muller; Arnaud Tisserand (IEEE Trans. Computers, 1998)

Constant Multipliers for FPGAs. - Florent de Dinechin; Vincent Lefèvre (PDPTA, 2000)

Worst Cases for Correct Rounding of the Elementary Functions in Double Precision. - Vincent Lefèvre; Jean-Michel Muller (IEEE Symposium on Computer Arithmetic, 2001)

Worst Cases and Lattice Reduction. - Damien Stehlé; Vincent Lefèvre; Paul Zimmermann (IEEE Symposium on Computer Arithmetic, 2003)

On-the-Fly Range Reduction. - Vincent Lefèvre; Jean-Michel Muller (J. VLSI Signal Process., 2003)

Proposal for a Standardization of Mathematical Function Implementation in Floating-Point Arithmetic. - David Defour; Guillaume Hanrot; Vincent Lefèvre; Jean-Michel Muller; Nathalie Revol; Paul Zimmermann (Numer. Algorithms, 2004)

New Results on the Distance between a Segment and Z2. Application to the Exact Rounding. - Vincent Lefèvre (IEEE Symposium on Computer Arithmetic, 2005)

The Generic Multiple-Precision Floating-Point Addition With Exact Rounding (as in the MPFR Library) - Vincent Lefèvre (CoRR, 2005)

Searching Worst Cases of a One-Variable Function Using Lattice Reduction. - Damien Stehlé; Vincent Lefèvre; Paul Zimmermann (IEEE Trans. Computers, 2005)

Worst Cases for the Exponential Function in the IEEE 754r decimal64 Format. - Vincent Lefèvre; Damien Stehlé; Paul Zimmermann (Reliable Implementation of Real Number Algorithms, 2006)

Worst Cases of a Periodic Function for Large Arguments. - Guillaume Hanrot; Vincent Lefèvre; Damien Stehlé; Paul Zimmermann (IEEE Symposium on Computer Arithmetic, 2007)

Computing Integer Powers in Floating-Point Arithmetic - Peter Kornerup; Vincent Lefèvre; Jean-Michel Muller (CoRR, 2007)

MPFR: A multiple-precision binary floating-point library with correct rounding. - Laurent Fousse; Guillaume Hanrot; Vincent Lefèvre; Patrick Pélissier; Paul Zimmermann (ACM Trans. Math. Softw., 2007)

An Efficient Rounding Boundary Test for {rm pow}(x, y) in Double Precision. - Christoph Quirin Lauter; Vincent Lefèvre (IEEE Trans. Computers, 2009)

Handbook of Floating-Point Arithmetic. - Jean-Michel Muller; Nicolas Brisebarre; Florent de Dinechin; Claude-Pierre Jeannerod; Vincent Lefèvre; Guillaume Melquiond; Nathalie Revol; Damien Stehlé; Serge Torres (Birkhäuser, 2010)

LEMA: towards a language for reliable arithmetic. - Vincent Lefèvre; Philippe Théveny; Florent de Dinechin; Claude-Pierre Jeannerod; Christophe Mouilleron; David Pfannholzer; Nathalie Revol (ACM Commun. Comput. Algebra, 2010)

Why and How to Use Arbitrary Precision. - Kaveh R. Ghazi; Vincent Lefèvre; Philippe Théveny; Paul Zimmermann (Comput. Sci. Eng., 2010)

Computing correctly rounded integer powers in floating-point arithmetic. - Peter Kornerup; Christoph Quirin Lauter; Vincent Lefèvre; Nicolas Louvet; Jean-Michel Muller (ACM Trans. Math. Softw., 2010)

On the Computation of Correctly Rounded Sums. - Peter Kornerup; Vincent Lefèvre; Nicolas Louvet; Jean-Michel Muller (IEEE Trans. Computers, 2012)

SIPE: Small Integer Plus Exponent. - Vincent Lefèvre (IEEE Symposium on Computer Arithmetic, 2013)

On the maximum relative error when computing x^n in floating-point arithmetic. - Stef Graillat; Vincent Lefèvre; Jean-Michel Muller (CoRR, 2014)

On the maximum relative error when computing integer powers by iterated multiplications in floating-point arithmetic. - Stef Graillat; Vincent Lefèvre; Jean-Michel Muller (Numer. Algorithms, 2015)

Optimized Binary64 and Binary128 Arithmetic with GNU MPFR. - Vincent Lefèvre; Paul Zimmermann (ARITH, 2017)

Correctly Rounded Arbitrary-Precision Floating-Point Summation. - Vincent Lefèvre (IEEE Trans. Computers, 2017)

Handbook of Floating-Point Arithmetic (2nd Ed.). - Jean-Michel Muller; Nicolas Brunie; Florent de Dinechin; Claude-Pierre Jeannerod; Mioara Joldes; Vincent Lefèvre; Guillaume Melquiond; Nathalie Revol; Serge Torres (Springer, 2018)

Accurate Complex Multiplication in Floating-Point Arithmetic. - Vincent Lefèvre; Jean-Michel Muller (ARITH, 2019)

Alternative Split Functions and Dekker's Product. - Stef Graillat; Vincent Lefèvre; Jean-Michel Muller (ARITH, 2020)

Accurate Calculation of Euclidean Norms Using Double-word Arithmetic. - Vincent Lefèvre; Nicolas Louvet; Jean-Michel Muller; Joris Picot; Laurence Rideau (ACM Trans. Math. Softw., 2023)

An Emacs-Cairo Scrolling Bug due to Floating-Point Inaccuracy. - Vincent Lefèvre (ARITH, 2024)