Vincent Lefèvre

Publication Activity (10 Years)

Years Active: 1997-2024
Publications (10 Years): 7

Top Topics

Data Dimensionality

Fast Fourier Transform

Sparse Matrices

Top Venues

ACM Trans. Math. Softw.

Numer. Algorithms

Publications

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