Vincent Lefèvre

	2009
15		Christoph Quirin Lauter, Vincent Lefèvre: An Efficient Rounding Boundary Test for {rm pow}(x, y) in Double Precision. IEEE Trans. Computers 58(2): 197-207 (2009)
	2008
14		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: 114-126
	2007
13		Guillaume Hanrot, Vincent Lefèvre, Damien Stehlé, Paul Zimmermann: Worst Cases of a Periodic Function for Large Arguments. IEEE Symposium on Computer Arithmetic 2007: 133-140
12		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): 13 (2007)
11		Peter Kornerup, Vincent Lefèvre, Jean-Michel Muller: Computing Integer Powers in Floating-Point Arithmetic CoRR abs/0705.4369: (2007)
	2006
10		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
	2005
9		Vincent Lefèvre: New Results on the Distance between a Segment and Z2. Application to the Exact Rounding. IEEE Symposium on Computer Arithmetic 2005: 68-75
8		Vincent Lefèvre: The Generic Multiple-Precision Floating-Point Addition With Exact Rounding (as in the MPFR Library) CoRR abs/cs/0505027: (2005)
7		Damien Stehlé, Vincent Lefèvre, Paul Zimmermann: Searching Worst Cases of a One-Variable Function Using Lattice Reduction. IEEE Trans. Computers 54(3): 340-346 (2005)
	2003
6		Damien Stehlé, Vincent Lefèvre, Paul Zimmermann: Worst Cases and Lattice Reduction. IEEE Symposium on Computer Arithmetic 2003: 142-147
5		Vincent Lefèvre, Jean-Michel Muller: On-the-Fly Range Reduction. VLSI Signal Processing 33(1-2): 31-35 (2003)
	2001
4		Vincent Lefèvre, Jean-Michel Muller: Worst Cases for Correct Rounding of the Elementary Functions in Double Precision. IEEE Symposium on Computer Arithmetic 2001: 111-118
	2000
3		Florent de Dinechin, Vincent Lefèvre: Constant Multipliers for FPGAs. PDPTA 2000
	1998
2		Vincent Lefèvre, Jean-Michel Muller, Arnaud Tisserand: Toward Correctly Rounded Transcendentals. IEEE Trans. Computers 47(11): 1235-1243 (1998)
	1997
1		Vincent Lefèvre, Arnaud Tisserand, Jean-Michel Muller: Towards Correctly Rounded Transcendentals. IEEE Symposium on Computer Arithmetic 1997: 132-

Coauthor Index

1	Florent de Dinechin	[3]
2	Laurent Fousse	[12]
3	Guillaume Hanrot	[12] [13]
4	Peter Kornerup	[11]
5	Christoph Quirin Lauter	[15]
6	Jean-Michel Muller	[1] [2] [4] [5] [11]
7	Patrick Pélissier	[12]
8	Damien Stehlé	[6] [7] [10] [13] [14]
9	Arnaud Tisserand	[1] [2]
10	Paul Zimmermann	[6] [7] [10] [12] [13] [14]

Colors in the list of coauthors