Vincent Lefèvre
Vincent Lefèvre
INRIA / LIP
Bestätigte E-Mail-Adresse bei vinc17.net
Titel
Zitiert von
Zitiert von
Jahr
MPFR: A multiple-precision binary floating-point library with correct rounding
L Fousse, G Hanrot, V Lefèvre, P Pélissier, P Zimmermann
ACM Transactions on Mathematical Software (TOMS) 33 (2), 13-es, 2007
8592007
Handbook of floating-point arithmetic
JM Muller, N Brisebarre, F De Dinechin, CP Jeannerod, V Lefevre, ...
Birkhäuser, 2018
6302018
LIFE-CYCLE COSTING MANUAL for the Federal Energy Management Program, NIST Handbook 135, 1995 Edition
S Fuller, S Petersen
Handbook (NIST HB)-135, 1996
391*1996
What is conservative social and political thought
JZ Muller
Conservatism: An anthology of social and political thought from David Hume …, 1997
211*1997
Toward correctly rounded transcendentals
V Lefèvre, JM Muller, A Tisserand
IEEE Transactions on Computers 47 (11), 1235-1243, 1998
1101998
Worst cases for correct rounding of the elementary functions in double precision
V Lefèvre, JM Muller
Proceedings 15th IEEE Symposium on Computer Arithmetic. ARITH-15 2001, 111-118, 2001
1022001
Multiplication by an integer constant
V Lefevre
652001
Moyens arithmétiques pour un calcul fiable
V Lefvre
PhD thesis, Ecole Normale Supérieure de Lyon, Lyon, France, 2000
552000
Searching worst cases of a one-variable function using lattice reduction
D Stehlé, V Lefèvre, P Zimmermann
IEEE Transactions on Computers 54 (3), 340-346, 2005
492005
On the computation of correctly rounded sums
P Kornerup, V Lefevre, N Louvet, JM Muller
IEEE Transactions on Computers 61 (3), 289-298, 2011
452011
Proposal for a standardization of mathematical function implementation in floating-point arithmetic
D Defour, G Hanrot, V Lefevre, JM Muller, N Revol, P Zimmermann
Numerical algorithms 37 (1-4), 367-375, 2004
372004
Constant Multipliers for FPGAs.
F de Dinechin, V Lefèvre
PDPTA, 2000
332000
Why and how to use arbitrary precision
KR Ghazi, V Lefèvre, P Théveny, P Zimmermann
Computing in Science & Engineering 12 (3), 62-65, 2010
322010
Worst cases and lattice reduction
D Stehlé, L Lefevre, P Zimmermann
Proceedings 2003 16th IEEE Symposium on Computer Arithmetic, 142-147, 2003
312003
New Results on the Distance between a Segment and Z ². Application to the Exact Rounding
V Lefevre
17th IEEE Symposium on Computer Arithmetic (ARITH'05), 68-75, 2005
262005
X-Ray single crystal refinement of RMn6X6− xX′ x (R= Tb, Er, Tm, Yb; X= Ge, Sn; X′= Ga, In; 0≤ x≤ 2.6) and YMn6− xTixSn6 compounds
C Lefèvre, G Venturini, B Malaman
Journal of alloys and compounds 354 (1-2), 47-53, 2003
242003
The MPFR library
G Hanrot, V Lefevre, P Pélissier, P Zimmermann, S Boldo, D Daney, ...
Institut de Recherche en Informatique et Automatique 212, 2001
242001
The Table Maker's Dilemma.
V Lefevre, JM Muller, A Tisserand
211998
Portraiture in early India: Between transience and eternity
V Lefèvre
Brill, 2011
192011
An Efficient Rounding Boundary Test for {\rm pow}(x, y) in Double Precision
CQ Lauter, V Lefèvre
IEEE Transactions on Computers 58 (2), 197-207, 2008
172008
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20