Mots-clés

Identifiants chercheur

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〉
  • 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〉
  • 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〉
  • 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. 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〉
  • 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

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〉
  • Christoph Lauter, Vincent Lefèvre. An efficient rounding boundary test for pow(x,y) in double precision. 18 pages. 2007. 〈ensl-00169409v2〉
  • 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〉

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〉
  • Vincent Lefèvre. Multiplication by an Integer Constant: Lower Bounds on the Code Length. [Research Report] RR-4493, INRIA. 2002, pp.15. 〈inria-00072095〉
  • 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. [Research Report] RR-4192, INRIA. 2001. 〈inria-00072430〉
  • Vincent Lefèvre, Jean-Michel Muller. On-The-Fly Range Reduction. [Research Report] RR-4043, INRIA. 2000. 〈inria-00072595〉
  • 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〉