 | 2012 |
| 21 |  | Peter Kornerup,
Vincent Lefèvre,
Nicolas Louvet,
Jean-Michel Muller:
On the Computation of Correctly Rounded Sums.
IEEE Trans. Computers 61(3): 289-298 (2012) |
| 2010 |
| 20 |  | Jean-Michel Muller,
Nicolas Brisebarre,
Florent de Dinechin,
Claude-Pierre Jeannerod,
Vincent Lefèvre,
Guillaume Melquiond,
Nathalie Revol,
Damien Stehlé,
Serge Torres:
Handbook of Floating-Point Arithmetic.
Birkhäuser 2010: I-XXIII, 1-572 |
| 19 |  | 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) |
| 18 |  | Kaveh R. Ghazi,
Vincent Lefèvre,
Philippe Théveny,
Paul Zimmermann:
Why and How to Use Arbitrary Precision.
Computing in Science and Engineering 12(3): 5 (2010) |
| 2009 |
| 17 |  | Peter Kornerup,
Vincent Lefèvre,
Nicolas Louvet,
Jean-Michel Muller:
On the Computation of Correctly-Rounded Sums.
IEEE Symposium on Computer Arithmetic 2009: 155-160 |
| 16 |  | 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 |
| 15 |  | 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 |
| 14 |  | 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 |
| 13 |  | 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) |
| 12 |  | Peter Kornerup,
Vincent Lefèvre,
Jean-Michel Muller:
Computing Integer Powers in Floating-Point Arithmetic
CoRR abs/0705.4369: (2007) |
| 2006 |
| 11 |  | 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 |
| 10 |  | 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 |
| 9 |  | Vincent Lefèvre:
The Generic Multiple-Precision Floating-Point Addition With Exact Rounding (as in the MPFR Library)
CoRR abs/cs/0505027: (2005) |
| 8 |  | 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) |
| 2004 |
| 7 |  | 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.
Numerical Algorithms 37(1-4): 367-375 (2004) |
| 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- |