Vincent Lefèvre

34 papers C 12Misc 1Journal 16Unranked 3
YearRankTypeTitle / Venue / Authors
2024 C conf
An Emacs-Cairo Scrolling Bug due to Floating-Point Inaccuracy.
ARITH
Vincent Lefèvre
2023 J jnl
Accurate Calculation of Euclidean Norms Using Double-word Arithmetic.
ACM Trans. Math. Softw.
Vincent Lefèvre, Nicolas Louvet, Jean-Michel Muller, Joris Picot, Laurence Rideau
2020 C conf
Alternative Split Functions and Dekker's Product.
ARITH
Stef Graillat, Vincent Lefèvre, Jean-Michel Muller
2019 C conf
Accurate Complex Multiplication in Floating-Point Arithmetic.
ARITH
Vincent Lefèvre, Jean-Michel Muller
2018 — book
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
2017 J jnl
Correctly Rounded Arbitrary-Precision Floating-Point Summation.
IEEE Trans. Computers
Vincent Lefèvre
2017 C conf
Optimized Binary64 and Binary128 Arithmetic with GNU MPFR.
ARITH
Vincent Lefèvre, Paul Zimmermann
2016 C conf
Correctly Rounded Arbitrary-Precision Floating-Point Summation.
ARITH
Vincent Lefèvre
2015 J jnl
On the maximum relative error when computing integer powers by iterated multiplications in floating-point arithmetic.
Numer. Algorithms
Stef Graillat, Vincent Lefèvre, Jean-Michel Muller
2014 J jnl
On the maximum relative error when computing x^n in floating-point arithmetic.
CoRR
Stef Graillat, Vincent Lefèvre, Jean-Michel Muller
2013 C conf
SIPE: Small Integer Plus Exponent.
IEEE Symposium on Computer Arithmetic
Vincent Lefèvre
2012 J jnl
On the Computation of Correctly Rounded Sums.
IEEE Trans. Computers
Peter Kornerup, Vincent Lefèvre, Nicolas Louvet, Jean-Michel Muller
2010 J jnl
Computing correctly rounded integer powers in floating-point arithmetic.
ACM Trans. Math. Softw.
Peter Kornerup, Christoph Quirin Lauter, Vincent Lefèvre, Nicolas Louvet, Jean-Michel Muller
2010 — book
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
2010 J jnl
LEMA: towards a language for reliable arithmetic.
ACM Commun. Comput. Algebra
Vincent Lefèvre, Philippe Théveny, Florent de Dinechin, Claude-Pierre Jeannerod, Christophe Mouilleron, David Pfannholzer, Nathalie Revol
2010 J jnl
Why and How to Use Arbitrary Precision.
Comput. Sci. Eng.
Kaveh R. Ghazi, Vincent Lefèvre, Philippe Théveny, Paul Zimmermann
2009 J jnl
An Efficient Rounding Boundary Test for {rm pow}(x, y) in Double Precision.
IEEE Trans. Computers
Christoph Quirin Lauter, Vincent Lefèvre
2009 C conf
On the Computation of Correctly-Rounded Sums.
IEEE Symposium on Computer Arithmetic
Peter Kornerup, Vincent Lefèvre, Nicolas Louvet, Jean-Michel Muller
2008 — conf
Worst Cases for the Exponential Function in the IEEE 754r decimal64 Format.
Reliable Implementation of Real Number Algorithms
Vincent Lefèvre, Damien Stehlé, Paul Zimmermann
2007 J jnl
Computing Integer Powers in Floating-Point Arithmetic
CoRR
Peter Kornerup, Vincent Lefèvre, Jean-Michel Muller
2007 J jnl
MPFR: A multiple-precision binary floating-point library with correct rounding.
ACM Trans. Math. Softw.
Laurent Fousse, Guillaume Hanrot, Vincent Lefèvre, Patrick Pélissier, Paul Zimmermann
2007 C conf
Worst Cases of a Periodic Function for Large Arguments.
IEEE Symposium on Computer Arithmetic
Guillaume Hanrot, Vincent Lefèvre, Damien Stehlé, Paul Zimmermann
2006 — conf
Worst Cases for the Exponential Function in the IEEE 754r decimal64 Format.
Reliable Implementation of Real Number Algorithms
Vincent Lefèvre, Damien Stehlé, Paul Zimmermann
2005 C conf
New Results on the Distance between a Segment and Z
IEEE Symposium on Computer Arithmetic
Vincent Lefèvre
2005 J jnl
Searching Worst Cases of a One-Variable Function Using Lattice Reduction.
IEEE Trans. Computers
Damien Stehlé, Vincent Lefèvre, Paul Zimmermann
2005 J jnl
The Generic Multiple-Precision Floating-Point Addition With Exact Rounding (as in the MPFR Library)
CoRR
Vincent Lefèvre
2004 J jnl
Proposal for a Standardization of Mathematical Function Implementation in Floating-Point Arithmetic.
Numer. Algorithms
David Defour, Guillaume Hanrot, Vincent Lefèvre, Jean-Michel Muller, Nathalie Revol, Paul Zimmermann
2003 J jnl
On-the-Fly Range Reduction.
J. VLSI Signal Process.
Vincent Lefèvre, Jean-Michel Muller
2003 C conf
Worst Cases and Lattice Reduction.
IEEE Symposium on Computer Arithmetic
Damien Stehlé, Vincent Lefèvre, Paul Zimmermann
2001 C conf
Worst Cases for Correct Rounding of the Elementary Functions in Double Precision.
IEEE Symposium on Computer Arithmetic
Vincent Lefèvre, Jean-Michel Muller
2000 Misc conf
Constant Multipliers for FPGAs.
PDPTA
Florent de Dinechin, Vincent Lefèvre
1998 — conf
An Algorithm that Computes a Lower Bound on the Distance Between a Segment and ℤ2.
SCAN
Vincent Lefèvre
1998 J jnl
Toward Correctly Rounded Transcendentals.
IEEE Trans. Computers
Vincent Lefèvre, Jean-Michel Muller, Arnaud Tisserand
1997 C conf
Towards Correctly Rounded Transcendentals.
IEEE Symposium on Computer Arithmetic
Vincent Lefèvre, Arnaud Tisserand, Jean-Michel Muller