| 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 | 1106 | 2007 |
| Handbook of floating-point arithmetic JM Muller, N Brisebarre, F De Dinechin, CP Jeannerod, V Lefevre, ... Birkhäuser, 2018 | 850 | 2018 |
| Toward correctly rounded transcendentals V Lefèvre, JM Muller, A Tisserand IEEE Transactions on Computers 47 (11), 1235-1243, 1998 | 130 | 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 | 109 | 2001 |
| Multiplication by an integer constant V Lefevre INRIA, 2001 | 78 | 2001 |
| Moyens arithmétiques pour un calcul fiable V Lefèvre PhD thesis, Ecole Normale Supérieure de Lyon, Lyon, France, 2000 | 65 | 2000 |
| 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 |
| On the computation of correctly rounded sums P Kornerup, V Lefevre, N Louvet, JM Muller IEEE Transactions on Computers 61 (3), 289-298, 2011 | 52 | 2011 |
| 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 | 41 | 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 | 35 | 2010 |
| Constant Multipliers for FPGAs. F de Dinechin, V Lefevre PDPTA, 2000 | 35 | 2000 |
| Worst cases and lattice reduction D Stehlé, L Lefevre, P Zimmermann Proceedings 2003 16th IEEE Symposium on Computer Arithmetic, 142-147, 2003 | 34 | 2003 |
| 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 | 29 | 2005 |
| Portraiture in early India: Between transience and eternity V Lefèvre Brill, 2011 | 28 | 2011 |
| 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 | 25 | 2001 |
| The Table Maker's Dilemma. V Lefevre, JM Muller, A Tisserand Laboratoire de l'informatique du parallélisme, 1998 | 22 | 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 | 18 | 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 | 16 | 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 | 15 | 2008 |
| Computing correctly rounded integer powers in floating-point arithmetic P Kornerup, C Lauter, V Lefevre, N Louvet, JM Muller ACM Transactions on Mathematical Software (TOMS) 37 (1), 1-23, 2010 | 13 | 2010 |
