Mots-clés

Identifiants chercheur

  • IdHAL : vinc17
Nombre de documents

46

Vincent Lefèvre


Article dans une revue13 documents

  • Vincent Lefèvre. Correctly Rounded Arbitrary-Precision Floating-Point Summation. IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2017, <10.1109/TC.2017.2690632>. <hal-01394289v2>
  • Stef Graillat, Vincent Lefèvre, Jean-Michel Muller. On the maximum relative error when computing integer powers by iterated multiplications in floating-point arithmetic. Numerical Algorithms, Springer Verlag, 2015, 70 (3), pp.653-667. <10.1007/s11075-015-9967-8>. <ensl-00945033v2>
  • Peter Kornerup, Vincent Lefèvre, Nicolas Louvet, Jean-Michel Muller. On the computation of correctly-rounded sums. IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2012, 61 (3), p. 289-298. <10.1109/TC.2011.27>. <ensl-00331519v2>
  • Peter Kornerup, Christoph Lauter, Vincent Lefèvre, Nicolas Louvet, Jean-Michel Muller. Computing Correctly Rounded Integer Powers in Floating-Point Arithmetic. ACM Transactions on Mathematical Software, Association for Computing Machinery, 2010, 37 (1), pp.4:1-4:23. <10.1145/1644001.1644005>. <inria-00388501>
  • Kaveh Ghazi, Vincent Lefèvre, Philippe Théveny, Paul Zimmermann. Why and How to Use Arbitrary Precision. Computing in Science and Engineering, Institute of Electrical and Electronics Engineers, 2010, 12 (3), pp.62-65. <10.1109/MCSE.2010.73>. <inria-00543927>
  • Vincent Lefèvre, Jean-Michel Muller. Erreurs en arithmétique des ordinateurs. Images des Mathématiques, CNRS, 2009. <hal-00598554>
  • Christoph Quirin Lauter, Vincent Lefèvre. An efficient rounding boundary test for pow(x,y) in double precision. IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2009, 58 (2), pp.197-207. <10.1109/TC.2008.202>. <inria-00583988>
  • Laurent Fousse, Guillaume Hanrot, Vincent Lefèvre, Patrick Pélissier, Paul Zimmermann. MPFR: A Multiple-Precision Binary Floating-Point Library with Correct Rounding.. ACM Transactions on Mathematical Software, Association for Computing Machinery, 2007, 33 (2), pp.article 13. <10.1145/1236463.1236468>. <inria-00103655>
  • Damien Stehlé, Paul Zimmermann, Vincent Lefèvre. Searching Worst Cases of a One-Variable Function Using Lattice Reduction. IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2005, 54 (3), pp.340-346. <10.1109/TC.2005.55>. <inria-00000379>
  • Anita Castiel, Vincent Lefèvre, Paul Zimmermann. Le « dilemme du fabricant de tables » ou comment calculer juste. Interstices, INRIA, 2004. <inria-00000567>
  • David Defour, Guillaume Hanrot, Vincent Lefèvre, Jean-Michel Muller, Nathalie Revol, et al.. Proposal for a Standardization of Mathematical Function Implementation in Floating-Point Arithmetic. Numerical Algorithms, Springer Verlag, 2004, 37 (1-4), pp.367-375. <inria-00099967>
  • Vincent Lefèvre, Jean-Michel Muller. On-the-Fly Range Reduction. Journal of VLSI Signal Processing / J VLSI Sign Process Syst Sign Image Video Technol, Kluwer Academic Publishers, 2003, Special Issue on Computer Arithmetic and Applications, 33 (1-2), pp.31-35. <10.1023/A:1021137717282>. <inria-00099524>
  • Vincent Lefèvre. Multiplication par une constante. Réseaux et systèmes répartis, calculateurs Parallèles, 2001, 13 (4-5), pp.465-484. <inria-00100605>

Communication dans un congrès13 documents

  • Vincent Lefèvre, Paul Zimmermann. Optimized Binary64 and Binary128 Arithmetic with GNU MPFR. 24th IEEE Symposium on Computer Arithmetic (ARITH 24), Jul 2017, London, United Kingdom. <hal-01502326>
  • Vincent Lefèvre. Correctly Rounded Arbitrary-Precision Floating-Point Summation. 23rd IEEE Symposium on Computer Arithmetic (ARITH), Jul 2016, Santa Clara, CA, United States. IEEE, 2016, <http://arith23.gforge.inria.fr/>. <10.1109/ARITH.2016.9>. <hal-01242127v3>
  • Vincent Lefèvre. SIPE: Small Integer Plus Exponent. 21th IEEE Symposium on Computer Arithmetic - Arith'21, Apr 2013, Austin, Texas, United States. 2013. <hal-00763954v3>
  • Vincent Lefèvre. Generating a Minimal Interval Arithmetic Based on GNU MPFR. Isaac E. Elishakoff and Vladik Kreinovich and Wolfram Luther and Evgenija D. Popova. Uncertainty modeling and analysis with intervals: Foundations, tools, applications (Dagstuhl Seminar 11371), Sep 2011, Dagstuhl, Germany. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 1, pp.43, 2011, Dagstuhl Reports. <10.4230/DagRep.1.9.26>. <hal-00651939>
  • Vincent Lefèvre, Philippe Théveny, Florent De Dinechin, Claude-Pierre Jeannerod, Christophe Mouilleron, et al.. LEMA: Towards a Language for Reliable Arithmetic. International Workshop on Programming Languages for Mechanized Mathematics Systems (PLMMS 2010), Jul 2010, Paris, France. ACM, 44, pp.41-52, 2010, ACM Communications in Computer Algebra. <10.1145/1838599.1838622>. <inria-00542143>
  • Peter Kornerup, Vincent Lefèvre, Nicolas Louvet, Jean-Michel Muller. On the Computation of Correctly-Rounded Sums. 19th IEEE Symposium on Computer Arithmetic - Arith'19, Jun 2009, Portland, Oregon, United States. 2009. <inria-00367584v2>
  • Guillaume Hanrot, Vincent Lefèvre, Damien Stehlé, Paul Zimmermann. Worst Cases of a Periodic Function for Large Arguments. Peter Kornerup and Jean-Michel Muller. 18th IEEE Symposium in Computer Arithmetic, Jun 2007, Montpellier, France. IEEE, pp.133-140, 2007, <10.1109/ARITH.2007.37>. <inria-00126474v2>
  • Vincent Lefèvre. New Results on the Distance Between a Segment and Z². Application to the Exact Rounding. Paolo Montuschi and Eric Schwarz. 17th IEEE Symposium on Computer Arithmetic - Arith'17, Jun 2005, Cape Cod, MA, United States. IEEE Computer Society, pp.68-75, 2005, <10.1109/ARITH.2005.4>. <inria-00000025>
  • Jacques Calmet, Vincent Lefèvre. Toward the Integration of Numerical Computations into the OMSCS Framework. 7th International Workshop on Computer Algebra in Scientific Computing - CASC'2004, 2004, Saint Petersburg, Russia, pp.71-79, 2004. <inria-00099920>
  • Vincent Lefèvre. The Generic Multiple-Precision Floating-Point Addition With Exact Rounding (as in the MPFR Library). 6th Conference on Real Numbers and Computers 2004 - RNC 6, Nov 2004, Dagstuhl, Germany, pp.135-145, 2004. <inria-00000026>
  • Vincent Lefèvre. Multiplication by an Integer Constant: Lower Bounds on the Code Length. 5th Conference on Real Numbers and Computers 2003 - RNC5, 2003, Lyon, France, pp.131-146, 2003. <inria-00099684>
  • Damien Stehlé, Vincent Lefèvre, Paul Zimmermann. Worst Cases and Lattice Reduction. 16th IEEE Symposium on Computer Arithmetic 2003 - ARITH-16'03, 2003, Santiago de Compostela, Espagne, pp.142-147, 2003. <inria-00099572>
  • Vincent Lefèvre, Jean-Michel Muller. Worst Cases for Correct Rounding of the Elementary Functions in Double Precision. Neil Burgess and Luigi Ciminiera. 15th IEEE Symposium on Computer Arithmetic - ARITH 2001, 2001, Vail, Colorado, pp.111-118, 2001. <inria-00100547>

Ouvrage (y compris édition critique et traduction)1 document

  • Jean-Michel Muller, Nicolas Brisebarre, Florent De Dinechin, Claude-Pierre Jeannerod, Vincent Lefèvre, et al.. Handbook of Floating-Point Arithmetic. Birkhauser Boston, pp.572, 2010. <ensl-00379167>

Chapitre d'ouvrage1 document

  • Vincent Lefèvre, Damien Stehlé, Paul Zimmermann. Worst Cases for the Exponential Function in the IEEE 754r decimal64 Format. P. Hertling; C.M. Hoffmann; W. Luther; N. Revol. Reliable Implementation of Real Number Algorithms: Theory and Practice, 5045, Springer, pp.114-126, 2008, Lecture Notes in Computer Science, 978-3-540-85521-7. <10.1007/978-3-540-85521-7_7>. <http://www.dagstuhl.de/06021>. <inria-00068731v2>

Autre publication1 document

  • Vincent Lefèvre. The Euclidean Division Implemented with a Floating-Point Multiplication and a Floor. 2005. <inria-00000159>

Pré-publication, Document de travail5 documents

  • Vincent Lefèvre. Sipe: a Mini-Library for Very Low Precision Computations with Correct Rounding. 2013. <hal-00864580>
  • Jean-Michel Muller, Peter Kornerup, Christoph Lauter, Vincent Lefèvre, Nicolas Louvet. Computing Correctly Rounded Integer Powers in Floating-Point Arithmetic. Rapport de recherche LIP n° 2008-15. 23 pages. 2008. <ensl-00278430>
  • Peter Kornerup, Vincent Lefèvre, Jean-Michel Muller. Computing Integer Powers in Floating-Point Arithmetic. Rapport de recherche LIP n°2007-23. Laboratoire LIP : CNRS/ENS Lyon/INRIA/Université Lyon 1. 2007. <ensl-00150406>
  • Jean-Michel Muller, Vincent Lefèvre. Some notes on the possible under/overflow of the most common elementary functions. 2007. <ensl-00149414>
  • Christoph Lauter, Vincent Lefèvre. An efficient rounding boundary test for pow(x,y) in double precision. 18 pages. 2007. <ensl-00169409v2>

Rapport12 documents

  • Vincent Lefèvre. SIPE: Small Integer Plus Exponent. [Research Report] RR-7832, INRIA. 2011, pp.21. <hal-00650659>
  • Peter Kornerup, Vincent Lefèvre, Nicolas Louvet, Jean-Michel Muller. On the Computation of Correctly-Rounded Sums. [Research Report] RR-7262, INRIA. 2010, pp.24. <inria-00475279>
  • Vincent Lefèvre, Philippe Théveny, Florent De Dinechin, Claude-Pierre Jeannerod, Christophe Mouilleron, et al.. LEMA: Towards a Language for Reliable Arithmetic. [Research Report] RR-7258, INRIA. 2010, pp.15. <inria-00473767>
  • Laurent Fousse, Guillaume Hanrot, Vincent Lefèvre, Patrick Pélissier, Paul Zimmermann. MPFR: A Multiple-Precision Binary Floating-Point Library With Correct Rounding. [Research Report] RR-5753, INRIA. 2005, pp.15. <inria-00070266>
  • Vincent Lefèvre. The Euclidean Division Implemented with a Floating-Point Division and a Floor. [Research Report] RR-5604, INRIA. 2005, pp.16. <inria-00070403>
  • Vincent Lefèvre, Paul Zimmermann. Arithmétique flottante. [Rapport de recherche] RR-5105, INRIA. 2004. <inria-00071477>
  • David Defour, Guillaume Hanrot, Vincent Lefèvre, Jean-Michel Muller, Nathalie Revol, et al.. Proposal for a Standardization of Mathematical Function Implementation in Floating-Point Arithmetic. [Research Report] RR-5406, INRIA. 2004. <inria-00071249>
  • Damien Stehlé, Vincent Lefèvre, Paul Zimmermann. Worst Cases and Lattice Reduction. [Research Report] RR-4586, INRIA. 2002. <inria-00071999>
  • Vincent Lefèvre. Multiplication by an Integer Constant: Lower Bounds on the Code Length. [Research Report] RR-4493, INRIA. 2002, pp.15. <inria-00072095>
  • Vincent Lefèvre. Multiplication by an Integer Constant. [Research Report] RR-4192, INRIA. 2001. <inria-00072430>
  • Vincent Lefèvre, Jean-Michel Muller. Worst Cases for Correct Rounding of the Elementary Functions in Double Precision. [Research Report] RR-4044, INRIA. 2000. <inria-00072594>
  • Vincent Lefèvre, Jean-Michel Muller. On-The-Fly Range Reduction. [Research Report] RR-4043, INRIA. 2000. <inria-00072595>