dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Vincent Lefèvre Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter 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
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-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
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter 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)
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKaveh 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
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Kornerup, Vincent Lefèvre, Nicolas Louvet, Jean-Michel Muller: On the Computation of Correctly-Rounded Sums. IEEE Symposium on Computer Arithmetic 2009: 155-160
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph 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
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVincent 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
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuillaume 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
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLaurent 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)
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Kornerup, Vincent Lefèvre, Jean-Michel Muller: Computing Integer Powers in Floating-Point Arithmetic CoRR abs/0705.4369: (2007)
2006
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVincent 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
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVincent 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
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVincent Lefèvre: The Generic Multiple-Precision Floating-Point Addition With Exact Rounding (as in the MPFR Library) CoRR abs/cs/0505027: (2005)
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDamien 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
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid 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
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDamien Stehlé, Vincent Lefèvre, Paul Zimmermann: Worst Cases and Lattice Reduction. IEEE Symposium on Computer Arithmetic 2003: 142-147
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVincent Lefèvre, Jean-Michel Muller: On-the-Fly Range Reduction. VLSI Signal Processing 33(1-2): 31-35 (2003)
2001
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVincent 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
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlorent de Dinechin, Vincent Lefèvre: Constant Multipliers for FPGAs. PDPTA 2000
1998
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVincent Lefèvre, Jean-Michel Muller, Arnaud Tisserand: Toward Correctly Rounded Transcendentals. IEEE Trans. Computers 47(11): 1235-1243 (1998)
1997
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVincent Lefèvre, Arnaud Tisserand, Jean-Michel Muller: Towards Correctly Rounded Transcendentals. IEEE Symposium on Computer Arithmetic 1997: 132-

Coauthor Index

1Nicolas Brisebarre [20]
2David Defour [7]
3Florent de Dinechin [3] [20]
4Laurent Fousse [13]
5Kaveh R. Ghazi [18]
6Guillaume Hanrot [7] [13] [14]
7Claude-Pierre Jeannerod [20]
8Peter Kornerup [12] [17] [19] [21]
9Christoph Quirin Lauter [16] [19]
10Nicolas Louvet [17] [19] [21]
11Guillaume Melquiond [20]
12Jean-Michel Muller [1] [2] [4] [5] [7] [12] [17] [19] [20] [21]
13Patrick Pélissier [13]
14Nathalie Revol [7] [20]
15Damien Stehlé [6] [8] [11] [14] [15] [20]
16Philippe Théveny [18]
17Arnaud Tisserand [1] [2]
18Serge Torres [20]
19Paul Zimmermann [6] [7] [8] [11] [13] [14] [15] [18]

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page