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 | 1230 | 2007 |
Handbook of floating-point arithmetic JM Muller, N Brisebarre, F De Dinechin, CP Jeannerod, V Lefevre, ... Birkhäuser, 2018 | 971 | 2018 |
Toward correctly rounded transcendentals V Lefèvre, JM Muller, A Tisserand IEEE Transactions on Computers 47 (11), 1235-1243, 1998 | 132 | 1998 |
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 | 106 | 2001 |
Multiplication by an integer constant V Lefevre INRIA, 2001 | 76 | 2001 |
Moyens arithmétiques pour un calcul fiable V Lefèvre PhD thesis, Ecole Normale Supérieure de Lyon, Lyon, France, 2000 | 60 | 2000 |
On the computation of correctly rounded sums P Kornerup, V Lefevre, N Louvet, JM Muller IEEE Transactions on Computers 61 (3), 289-298, 2011 | 57 | 2011 |
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 | 55 | 2005 |
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, 367-375, 2004 | 45 | 2004 |
Why and how to use arbitrary precision KR Ghazi, V Lefèvre, P Théveny, P Zimmermann Computing in Science & Engineering 12 (1-3), 5-5, 2010 | 36 | 2010 |
Constant Multipliers for FPGAs. F de Dinechin, V Lefevre PDPTA, 2000 | 36 | 2000 |
Worst cases and lattice reduction D Stehlé, L Lefevre, P Zimmermann Proceedings 2003 16th IEEE Symposium on Computer Arithmetic, 142-147, 2003 | 33 | 2003 |
Portraiture in early India: Between transience and eternity V Lefèvre Brill, 2011 | 28 | 2011 |
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 | 27 | 2005 |
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 | 27 | 2001 |
The Table Maker's Dilemma. V Lefevre, JM Muller, A Tisserand Laboratoire de l'informatique du parallélisme, 1998 | 26 | 1998 |
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 | 19 | 2008 |
Worst cases of a periodic function for large arguments G Hanrot, V Lefèvre, D Stehlé, P Zimmermann 18th IEEE Symposium on Computer Arithmetic (ARITH'07), 133-140, 2007 | 18 | 2007 |
Worst cases for the exponential function in the IEEE 754r decimal64 format V Lefèvre, D Stehlé, P Zimmermann Reliable Implementation of Real Number Algorithms: Theory and Practice …, 2008 | 14 | 2008 |
MPFR, a C library for multipleprecision floating-point computations with exact rounding G Hanrot, V Lefevre, K Ryde, P Zimmermann Version 2 (1), 2000 | 13 | 2000 |