Publications de Vincent Lefèvre

La liste suivante a été générée à partir du fichier bibtex avec mon script Perl bib2html.

Certains papiers sont disponibles à la fois en postscript (compressé avec gzip) et en PDF. Pour ces papiers, le format choisi pour le lien principal sera obtenu par négociation HTTP, suivant les préférences de votre navigateur. Plus d'information sur les formats de fichiers.

Vous pouvez aussi aller voir la liste de mes publications enregistrées sur HAL (exhaustive à partir de 2002), générée par Haltools:

Publications

[CalLef2004a]: J. Calmet et V. Lefèvre. Toward the integration of numerical computations into the OMSCS framework. In V.G. Ganzha and E.W. Mayr and E.V. Vorozhtsov, editors, Proceedings of the 7th International Workshop on Computer Algebra in Scientific Computing (CASC 2004), pages 71–79, Saint Petersburg, Russia, juillet 2004.
Liens alternatifs: [HAL-Inria / HAL] [postscript] [PDF]
[CasLefZim2004a]: A. Castiel, V. Lefèvre et P. Zimmermann. Le « dilemme du fabricant de tables » ou comment calculer juste. Interstices, février 2004.
Lien alternatif: [HAL-Inria / HAL]
[DHLMRZ2004a]: D. Defour, G. Hanrot, V. Lefèvre, J.-M. Muller, N. Revol et P. Zimmermann. Proposal for a standardization of mathematical function implementation in floating-point arithmetic. Numerical Algorithms, 37(1–4):367–375, décembre 2004.
DOI: 10.1023/B:NUMA.0000049482.38935.0b
Lien alternatif: [HAL-Inria / HAL]
[DHLMRZ2004b]: D. Defour, G. Hanrot, V. Lefèvre, J.-M. Muller, N. Revol et P. Zimmermann. Proposal for a standardization of mathematical function implementation in floating-point arithmetic. Rapport de recherche RR-5406, INRIA, décembre 2004.
Lien alternatif: [HAL-Inria / HAL]
[DinLef2000a]: F. de Dinechin et V. Lefèvre. Constant multipliers for FPGAs. In Second International Workshop on Engineering of Reconfigurable Hardware/Software Objects (ENREGLE 2000), Monte Carlo Resort, Las Vegas, Nevada, USA, juin 2000. Also available as LIP research report 2000-18.
Lien alternatif: [postscript]
[DinLef2000b]: F. de Dinechin et V. Lefèvre. Constant multipliers for FPGAs. Rapport de recherche RR2000-18, Laboratoire de l'Informatique du Parallélisme, Lyon, France, mai 2000.
Lien alternatif: [abstract]
[FHLPZ2005a]: L. Fousse, G. Hanrot, V. Lefèvre, P. Pélissier et P. Zimmermann. MPFR: a multiple-precision binary floating-point library with correct rounding. Rapport de recherche RR-5753, INRIA, novembre 2005.
Liens alternatifs: [HAL-Inria / HAL] [postscript] [PDF]
[FHLPZ2006a]: L. Fousse, G. Hanrot, V. Lefèvre, P. Pélissier et P. Zimmermann. MPFR: a multiple-precision binary floating-point library with correct rounding. ACM Transactions on Mathematical Software, 33(2), juin 2007.
DOI: 10.1145/1236463.1236468
Lien alternatif: [HAL-Inria / HAL]
[GraiLefMul2014a]: S. Graillat, V. Lefèvre et J.-M. Muller. On the maximum relative error when computing integer powers by iterated multiplications in floating-point arithmetic. Numerical Algorithms, février 2015.
DOI: 10.1007/s11075-015-9967-8
Lien alternatif: [HAL-Inria / HAL]
[GraiLefMul2020a]: S. Graillat, V. Lefèvre et J.-M. Muller. Alternative split functions and Dekker's product. In Proceedings of the IEEE 27th Symposium on Computer Arithmetic, juin 2020. IEEE.
Lien alternatif: [HAL-Inria / HAL]
[HFPA2009a]: J.-M. Muller, N. Brisebarre, F. de Dinechin, C.-P. Jeannerod, V. Lefèvre, G. Melquiond, N. Revol, D. Stehlé et S. Torres. Handbook of floating-point arithmetic. Birkhäuser Boston, 2010.
DOI: 10.1007/978-0-8176-4705-6
Lien alternatif: [HAL-Inria / HAL]
[HFPA2018a]: J.-M. Muller, N. Brunie, F. de Dinechin, C.-P. Jeannerod, M. Joldes, V. Lefèvre, G. Melquiond, N. Revol et S. Torres. Handbook of floating-point arithmetic. Birkhäuser, Cham, 2018.
DOI: 10.1007/978-3-319-76526-6
Lien alternatif: [HAL-Inria / HAL]
[HLMRZ2001a]: G. Hanrot, V. Lefèvre, J.-M. Muller, N. Revol et P. Zimmermann. Some notes for a proposal for elementary function implementation in floating-point arithmetic. juin 2001.
[HLSZ2007a]: G. Hanrot, V. Lefèvre, D. Stehlé et P. Zimmermann. Worst cases of a periodic function for large arguments. Rapport de recherche RR-6106, INRIA, janvier 2007.
Lien alternatif: [HAL-Inria / HAL]
[HLSZ2007b]: G. Hanrot, V. Lefèvre, D. Stehlé et P. Zimmermann. Worst cases of a periodic function for large arguments. In Peter Kornerup and Jean-Michel Muller, editors, Proceedings of the 18th IEEE Symposium on Computer Arithmetic, pages 133–140, Montpellier, France, juin 2007. IEEE Computer Society Press, Los Alamitos, CA.
DOI: 10.1109/ARITH.2007.37
Lien alternatif: [HAL-Inria / HAL]
[KLLLM2008a]: P. Kornerup, Ch. Lauter, V. Lefèvre, N. Louvet et J.-M. Muller. Computing correctly rounded integer powers in floating-point arithmetic. Rapport de recherche RR2008-15, Laboratoire de l'Informatique du Parallélisme, Lyon, France, mai 2008.
Lien alternatif: [HAL-Inria / HAL]
[KLLLM2009a]: P. Kornerup, Ch. Lauter, V. Lefèvre, N. Louvet et J.-M. Muller. Computing correctly rounded integer powers in floating-point arithmetic. ACM Transactions on Mathematical Software, 37(1), janvier 2010.
DOI: 10.1145/1644001.1644005
Lien alternatif: [HAL-Inria / HAL]
[KLLM2008a]: P. Kornerup, V. Lefèvre, N. Louvet et J.-M. Muller. On the computation of correctly-rounded sums. Rapport de recherche RR2008-35, Laboratoire de l'Informatique du Parallélisme, Lyon, France, octobre 2008.
Lien alternatif: [HAL-Inria / HAL]
[KLLM2009a]: P. Kornerup, V. Lefèvre, N. Louvet et J.-M. Muller. On the computation of correctly-rounded sums. In Proceedings of the 19th IEEE Symposium on Computer Arithmetic, pages 155–160, Portland, OR, USA, juin 2009.
Lien alternatif: [HAL-Inria / HAL]
[KLLM2010a]: P. Kornerup, V. Lefèvre, N. Louvet et J.-M. Muller. On the computation of correctly-rounded sums. Rapport de recherche RR-7262, INRIA, Lyon, France, avril 2010.
Lien alternatif: [HAL-Inria / HAL]
[KLLM2011a]: P. Kornerup, V. Lefèvre, N. Louvet et J.-M. Muller. On the computation of correctly rounded sums. IEEE Transactions on Computers, 61(3):289–298, mars 2012. Prix La Recherche 2013.
DOI: 10.1109/TC.2011.27
Lien alternatif: [HAL-Inria / HAL]
[KLTZ2009a]: K. R. Ghazi, V. Lefèvre, P. Théveny et P. Zimmermann. Why and how to use arbitrary precision. Computing in Science and Engineering, 12(3):62–65, mai 2010.
DOI: 10.1109/MCSE.2010.73
Lien alternatif: [HAL-Inria / HAL]
[KorLefMul2007a]: P. Kornerup, V. Lefèvre et J.-M. Muller. Computing integer powers in floating-point arithmetic. Rapport de recherche RR2007-23, Laboratoire de l'Informatique du Parallélisme, Lyon, France, mai 2007.
Lien alternatif: [HAL-Inria / HAL]
[KorLefMul2007b]: P. Kornerup, V. Lefèvre et J.-M. Muller. Computing integer powers in floating-point arithmetic. In Proceedings of 41st Conference on signals, systems and computers, novembre 2007. IEEE Conference Publishing Services.
[LLMPR2022a]: V. Lefèvre, N. Louvet, J.-M. Muller, J. Picot et L. Rideau. Accurate calculation of Euclidean norms using double-word arithmetic. ACM Transactions on Mathematical Software, octobre 2022.
DOI: 10.1145/3568672
Lien alternatif: [HAL-Inria / HAL]
[LTDJMPR2010a]: V. Lefèvre, P. Théveny, F. de Dinechin, C.-P. Jeannerod, C. Mouilleron, D. Pfannholzer et N. Revol. LEMA: towards a language for reliable arithmetic. Rapport de recherche RR-7258, INRIA, avril 2010.
Lien alternatif: [HAL-Inria / HAL]
[LTDJMPR2010b]: V. Lefèvre, P. Théveny, F. de Dinechin, C.-P. Jeannerod, C. Mouilleron, D. Pfannholzer et N. Revol. LEMA: towards a language for reliable arithmetic. ACM Communications in Computer Algebra, 44(2), juin 2010. Emerging Trends Papers accepted for PLMMS 2010, L. Dixon and J. Davenport.
DOI: 10.1145/1838599.1838622
Lien alternatif: [HAL-Inria / HAL]
[LauLef2007a]: Ch. Lauter et V. Lefèvre. An efficient rounding boundary test for pow(x,y) in double precision. Rapport de recherche RR2007-36, Laboratoire de l'Informatique du Parallélisme, Lyon, France, septembre 2007.
Lien alternatif: [HAL-Inria / HAL]
[LauLef2009a]: Ch. Lauter et V. Lefèvre. An efficient rounding boundary test for pow(x,y) in double precision. IEEE Transactions on Computers, 58(2):197–207, février 2009.
DOI: 10.1109/TC.2008.202
Lien alternatif: [HAL-Inria / HAL]
[Lef1997a]: V. Lefèvre. An algorithm that computes a lower bound on the distance between a segment and Z². Rapport de recherche RR1997-18, Laboratoire de l'Informatique du Parallélisme, Lyon, France, juin 1997.
Liens alternatifs: [postscript] [abstract]
[Lef1999a]: V. Lefèvre. An algorithm that computes a lower bound on the distance between a segment and Z². In Developments in Reliable Computing, pages 203–212. Kluwer, Dordrecht, Netherlands, 1999.
DOI: 10.1007/978-94-017-1247-7_16
[Lef1999b]: V. Lefèvre. Multiplication by an integer constant. Rapport de recherche RR1999-06, Laboratoire de l'Informatique du Parallélisme, Lyon, France, janvier 1999.
Liens alternatifs: [postscript] [abstract]
[Lef2000a]: V. Lefèvre. Moyens arithmétiques pour un calcul fiable. PhD thesis, École Normale Supérieure de Lyon, Lyon, France, janvier 2000.
Liens alternatifs: [postscript] [PDF] [postscript]
[Lef2001a]: V. Lefèvre. Multiplication by an integer constant. Rapport de recherche RR-4192, INRIA, mai 2001.
Liens alternatifs: [HAL-Inria / HAL] [postscript] [PDF]
[Lef2001b]: V. Lefèvre. Multiplication par une constante. Réseaux et Systèmes Répartis, Calculateurs Parallèles, 13(4–5):465–484, 2001.
Lien alternatif: [HAL-Inria / HAL]
[Lef2002a]: V. Lefèvre. Multiplication by an integer constant: lower bounds on the code length. Rapport de recherche RR-4493, INRIA, juillet 2002.
Liens alternatifs: [HAL-Inria / HAL] [postscript] [PDF]
[Lef2003a]: V. Lefèvre. Multiplication by an integer constant: lower bounds on the code length. In Proceedings of the 5th Conference on Real Numbers and Computers, pages 131–146, École Normale Supérieure de Lyon, France, septembre 2003.
Liens alternatifs: [HAL-Inria / HAL] [postscript] [PDF]
[Lef2004a]: V. Lefèvre. The generic multiple-precision floating-point addition with exact rounding (as in the MPFR library). In Proceedings of the 6th Conference on Real Numbers and Computers, pages 135–145, Dagstuhl, Germany, novembre 2004.
Liens alternatifs: [HAL-Inria / HAL] [postscript] [PDF] [PDF]
[Lef2005a]: V. Lefèvre. New results on the distance between a segment and Z². Application to the exact rounding. In Paolo Montuschi and Eric Schwarz, editors, Proceedings of the 17th IEEE Symposium on Computer Arithmetic, pages 68–75, Cape Cod, MA, USA, juin 2005. IEEE Computer Society Press, Los Alamitos, CA.
DOI: 10.1109/ARITH.2005.32
Lien alternatif: [HAL-Inria / HAL]
[Lef2005b]: V. Lefèvre. The Euclidean division implemented with a floating-point division and a floor. Rapport de recherche RR-5604, INRIA, juin 2005.
Liens alternatifs: [HAL-Inria / HAL] [postscript] [PDF]
[Lef2005c]: V. Lefèvre. The Euclidean division implemented with a floating-point multiplication and a floor. Prépublication, juillet 2005.
Liens alternatifs: [HAL-Inria / HAL] [postscript] [PDF]
[Lef2011a]: V. Lefèvre. SIPE: small integer plus exponent. Rapport de recherche RR-7832, INRIA, Lyon, France, décembre 2011.
Lien alternatif: [HAL-Inria / HAL]
[Lef2011b]: V. Lefèvre. Generating a minimal interval arithmetic based on GNU MPFR. In Isaac E. Elishakoff and Vladik Kreinovich and Wolfram Luther and Evgenija D. Popova, editors, Uncertainty modeling and analysis with intervals: Foundations, tools, applications (Dagstuhl Seminar 11371), volume 1, page 43, Dagstuhl, Germany, décembre 2011. Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik. Abstract only.
DOI: 10.4230/DagRep.1.9.26
Lien alternatif: [HAL-Inria / HAL]
[Lef2013a]: V. Lefèvre. SIPE: small integer plus exponent. In Alberto Nannarelli and Peter-Michael Seidel and Ping Tak Peter Tang, editors, Proceedings of the 21st IEEE Symposium on Computer Arithmetic, pages 99–106, Austin, TX, USA, avril 2013.
DOI: 10.1109/ARITH.2013.22
Lien alternatif: [HAL-Inria / HAL]
[Lef2013b]: V. Lefèvre. Sipe: a mini-library for very low precision computations with correct rounding. Prépublication, 2013.
Lien alternatif: [HAL-Inria / HAL]
[Lef2016a]: V. Lefèvre. Correctly rounded arbitrary-precision floating-point summation. In Proceedings of the 23rd IEEE Symposium on Computer Arithmetic, Santa Clara, CA, USA, juillet 2016. IEEE.
DOI: 10.1109/ARITH.2016.9
Lien alternatif: [HAL-Inria / HAL]
[Lef2016b]: V. Lefèvre. Correctly rounded arbitrary-precision floating-point summation. IEEE Transactions on Computers, 66(12):2111–2124, décembre 2017.
DOI: 10.1109/TC.2017.2690632
Liens alternatifs: [HAL-Inria / HAL] [PDF]
[Lef2024a]: V. Lefèvre. An Emacs-Cairo scrolling bug due to floating-point inaccuracy. 2024. Accepted at ARITH 2024 (IEEE 31st Symposium on Computer Arithmetic).
Lien alternatif: [HAL-Inria / HAL]
[LefMul1999a]: V. Lefèvre et J.-M. Muller. Table methods for the elementary functions. In F.T. Luk, editor, Proceedings of the SPIE — The International Society for Optical Engineering, volume 3807, pages 43–49, Denver, Colorado, 1999.
DOI: 10.1117/12.367669
[LefMul2000a]: V. Lefèvre et J.-M. Muller. On-the-fly range reduction. Rapport de recherche RR2000-34, Laboratoire de l'Informatique du Parallélisme, Lyon, France, novembre 2000.
Liens alternatifs: [HAL-Inria / HAL] [postscript] [abstract]
[LefMul2000b]: V. Lefèvre et J.-M. Muller. Worst cases for correct rounding of the elementary functions in double precision. Rapport de recherche RR2000-35, Laboratoire de l'Informatique du Parallélisme, Lyon, France, novembre 2000.
Liens alternatifs: [HAL-Inria / HAL] [postscript] [abstract]
[LefMul2000c]: V. Lefèvre et J.-M. Muller. On-the-fly range reduction. In SPIE's International Symposium on Optical Science and Technology, San Diego, CA, août 2000.
[LefMul2000d]: V. Lefèvre et J.-M. Muller. L'erreur en arithmétique des ordinateurs. Le Temps des Savoirs, (2):147–157, octobre 2000.
[LefMul2001a]: V. Lefèvre et J.-M. Muller. Worst cases for correct rounding of the elementary functions in double precision. In Neil Burgess and Luigi Ciminiera, editors, Proceedings of the 15th IEEE Symposium on Computer Arithmetic, pages 111–118, Vail, Colorado, 2001. IEEE Computer Society Press, Los Alamitos, CA.
DOI: 10.1109/ARITH.2001.930110
Lien alternatif: [HAL-Inria / HAL]
[LefMul2001b]: V. Lefèvre et J.-M. Muller. On-the-fly range reduction. Journal of VLSI Signal Processing, 33(1):31–35, janvier 2003.
DOI: 10.1023/A:1021137717282
Lien alternatif: [HAL-Inria / HAL]
[LefMul2007a]: V. Lefèvre et J.-M. Muller. Some notes on the possible under/overflow of the most common elementary functions. mai 2007.
Lien alternatif: [HAL-Inria / HAL]
[LefMul2009a]: V. Lefèvre et J.-M. Muller. Erreurs en arithmétique des ordinateurs. Images des mathématiques, juin 2009.
Lien alternatif: [HAL-Inria / HAL]
[LefMul2019a]: V. Lefèvre et J.-M. Muller. Accurate complex multiplication in floating-point arithmetic. In Proceedings of the IEEE 26th Symposium on Computer Arithmetic, Kyoto, Japan, juin 2019. IEEE.
DOI: 10.1109/ARITH.2019.00013
Lien alternatif: [HAL-Inria / HAL]
[LefMulTis1997a]: V. Lefèvre, J.-M. Muller et A. Tisserand. Towards correctly rounded transcendentals. In Proceedings of the 13th IEEE Symposium on Computer Arithmetic, Asilomar, USA, 1997. IEEE Computer Society Press, Los Alamitos, CA.
DOI: 10.1109/ARITH.1997.614888
[LefMulTis1998a]: V. Lefèvre, J.-M. Muller et A. Tisserand. The table maker's dilemma. Rapport de recherche RR1998-12, Laboratoire de l'Informatique du Parallélisme, Lyon, France, février 1998.
Liens alternatifs: [postscript] [abstract]
[LefMulTis1998b]: V. Lefèvre, J.-M. Muller et A. Tisserand. Toward correctly rounded transcendentals. IEEE Transactions on Computers, 47(11):1235–1243, novembre 1998.
DOI: 10.1109/12.736435
[LefSteZim2006a]: V. Lefèvre, D. Stehlé et P. Zimmermann. Worst cases for the exponential function in the IEEE 754r decimal64 format. In P. Hertling and C.M. Hoffmann and W. Luther and N. Revol, editors, Reliable Implementation of Real Number Algorithms: Theory and Practice, volume 5045, pages 114–126. Springer, 2008. This publication follows the Reliable Implementation of Real Number Algorithms: Theory and Practice international seminar, Dagstuhl, Germany, January 8-13, 2006.
DOI: 10.1007/978-3-540-85521-7_7
Lien alternatif: [HAL-Inria / HAL]
[LefZim2004a]: V. Lefèvre et P. Zimmermann. Arithmétique flottante. Rapport de recherche RR-5105, INRIA, février 2004.
Liens alternatifs: [HAL-Inria / HAL] [postscript] [PDF]
[LefZim2017a]: V. Lefèvre et P. Zimmermann. Optimized binary64 and binary128 arithmetic with GNU MPFR. In Proceedings of the 24th IEEE Symposium on Computer Arithmetic, London, United Kingdom, juillet 2017.
DOI: 10.1109/ARITH.2017.28
Lien alternatif: [HAL-Inria / HAL]
[MPFR]: G. Hanrot, V. Lefèvre, P. Pélissier et P. Zimmermann. The MPFR library. 2018.
[SteLefZim2002a]: D. Stehlé, V. Lefèvre et P. Zimmermann. Worst cases and lattice reduction. Rapport de recherche RR-4586, INRIA, octobre 2002.
Lien alternatif: [HAL-Inria / HAL]
[SteLefZim2003a]: D. Stehlé, V. Lefèvre et P. Zimmermann. Worst cases and lattice reduction. In Jean-Claude Bajard and Michael Schulte, editors, Proceedings of the 16th IEEE Symposium on Computer Arithmetic, pages 142–147, Santiago de Compostela, Spain, 2003. IEEE Computer Society Press, Los Alamitos, CA.
DOI: 10.1109/ARITH.2003.1207672
Lien alternatif: [HAL-Inria / HAL]
[SteLefZim2004a]: D. Stehlé, V. Lefèvre et P. Zimmermann. Searching worst cases of a one-variable function using lattice reduction. IEEE Transactions on Computers, 54(3):340–346, mars 2005.
DOI: 10.1109/TC.2005.55
Lien alternatif: [HAL-Inria / HAL]

Notes sur la négociation HTTP

Lorsqu'un papier est disponible dans plusieurs formats, le format choisi pour le lien principal sera celui que votre navigateur demandera via les préférences déclarées dans l'en-tête HTTP Accept. Pensez donc à configurer votre navigateur suivant vos préférences, s'il le permet! Pour Mozilla, vous pouvez ouvrir about:config et modifier la valeur de network.http.accept.default.

Retour sur la liste de mes publications.