Source: http://www.vinc17.org/research/publi.en.html
Timestamp: 2019-04-25 01:20:00+00:00

Document:
The following list has been generated from the bibtex file with my Perl script bib2html.
Some papers are available both in postscript (compressed with gzip ) and in PDF. For these papers, the chosen format for the main link will be obtained by HTTP negotiation, according to your browser preferences. More information on the file formats.
J. Calmet and 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, July 2004.
A. Castiel, V. Lefèvre and P. Zimmermann. Le « dilemme du fabricant de tables » ou comment calculer juste . Interstices , February 2004.
D. Defour, G. Hanrot, V. Lefèvre, J.-M. Muller, N. Revol and P. Zimmermann. Proposal for a standardization of mathematical function implementation in floating-point arithmetic . Numerical Algorithms , 37(1–4):367–375, December 2004.
D. Defour, G. Hanrot, V. Lefèvre, J.-M. Muller, N. Revol and P. Zimmermann. Proposal for a standardization of mathematical function implementation in floating-point arithmetic . Research report RR-5406, INRIA, December 2004.
F. de Dinechin and V. Lefèvre. Constant multiplier for FPGAs . In Second International Workshop on Engineering of Reconfigurable Hardware/Software Objects (ENREGLE 2000) , Monte Carlo Resort, Las Vegas, Nevada, USA, June 2000. Also available as LIP research report 2000-18.
F. de Dinechin and V. Lefèvre. Constant multiplier for FPGAs . Research report RR2000-18, Laboratoire de l'Informatique du Parallélisme, Lyon, France, May 2000.
L. Fousse, G. Hanrot, V. Lefèvre, P. Pélissier and P. Zimmermann. MPFR: a multiple-precision binary floating-point library with correct rounding . Research report RR-5753, INRIA, November 2005.
L. Fousse, G. Hanrot, V. Lefèvre, P. Pélissier and P. Zimmermann. MPFR: a multiple-precision binary floating-point library with correct rounding . ACM Transactions on Mathematical Software , 33(2), June 2007.
S. Graillat, V. Lefèvre and J.-M. Muller. On the maximum relative error when computing integer powers by iterated multiplications in floating-point arithmetic . Numerical Algorithms , February 2015.
J.-M. Muller, N. Brisebarre, F. de Dinechin, C.-P. Jeannerod, V. Lefèvre, G. Melquiond, N. Revol, D. Stehlé and S. Torres. Handbook of floating-point arithmetic . Birkhäuser Boston, 2010.
J.-M. Muller, N. Brunie, F. de Dinechin, C.-P. Jeannerod, M. Joldes, V. Lefèvre, G. Melquiond, N. Revol and S. Torres. Handbook of floating-point arithmetic . Birkhäuser Basel, 2018.
G. Hanrot, V. Lefèvre, J.-M. Muller, N. Revol and P. Zimmermann. Some notes for a proposal for elementary function implementation in floating-point arithmetic . June 2001.
G. Hanrot, V. Lefèvre, D. Stehlé and P. Zimmermann. Worst cases of a periodic function for large arguments . Research report RR-6106, INRIA, January 2007.
G. Hanrot, V. Lefèvre, D. Stehlé and 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, June 2007. IEEE Computer Society Press, Los Alamitos, CA.
P. Kornerup, Ch. Lauter, V. Lefèvre, N. Louvet and J.-M. Muller. Computing correctly rounded integer powers in floating-point arithmetic . Research report RR2008-15, Laboratoire de l'Informatique du Parallélisme, Lyon, France, May 2008.
P. Kornerup, Ch. Lauter, V. Lefèvre, N. Louvet and J.-M. Muller. Computing correctly rounded integer powers in floating-point arithmetic . ACM Transactions on Mathematical Software , 37(1), January 2010.
P. Kornerup, V. Lefèvre, N. Louvet and J.-M. Muller. On the computation of correctly-rounded sums . Research report RR2008-35, Laboratoire de l'Informatique du Parallélisme, Lyon, France, October 2008.
P. Kornerup, V. Lefèvre, N. Louvet and 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, June 2009.
P. Kornerup, V. Lefèvre, N. Louvet and J.-M. Muller. On the computation of correctly-rounded sums . Research report RR-7262, INRIA, Lyon, France, April 2010.
P. Kornerup, V. Lefèvre, N. Louvet and J.-M. Muller. On the computation of correctly rounded sums . IEEE Transactions on Computers , 61(3):289–298, March 2012. Prix La Recherche 2013.
K. R. Ghazi, V. Lefèvre, P. Théveny and P. Zimmermann. Why and how to use arbitrary precision . Computing in Science and Engineering , 12(3):62–65, May 2010.
P. Kornerup, V. Lefèvre and J.-M. Muller. Computing integer powers in floating-point arithmetic . Research report RR2007-23, Laboratoire de l'Informatique du Parallélisme, Lyon, France, May 2007.
P. Kornerup, V. Lefèvre and J.-M. Muller. Computing integer powers in floating-point arithmetic . In Proceedings of 41st Conference on signals, systems and computers , November 2007. IEEE Conference Publishing Services.
V. Lefèvre, P. Théveny, F. de Dinechin, C.-P. Jeannerod, C. Mouilleron, D. Pfannholzer and N. Revol. LEMA: towards a language for reliable arithmetic . Research report RR-7258, INRIA, April 2010.
V. Lefèvre, P. Théveny, F. de Dinechin, C.-P. Jeannerod, C. Mouilleron, D. Pfannholzer and N. Revol. LEMA: towards a language for reliable arithmetic . ACM Communications in Computer Algebra , 44(2), June 2010. Emerging Trends Papers accepted for PLMMS 2010, L. Dixon and J. Davenport.
Ch. Lauter and V. Lefèvre. An efficient rounding boundary test for pow(x,y) in double precision . Research report RR2007-36, Laboratoire de l'Informatique du Parallélisme, Lyon, France, September 2007.
Ch. Lauter and V. Lefèvre. An efficient rounding boundary test for pow(x,y) in double precision . IEEE Transactions on Computers , 58(2):197–207, February 2009.
V. Lefèvre. An algorithm that computes a lower bound on the distance between a segment and Z2 . Research report RR1997-18, Laboratoire de l'Informatique du Parallélisme, Lyon, France, June 1997.
V. Lefèvre. Multiplication by an integer constant . Research report RR1999-06, Laboratoire de l'Informatique du Parallélisme, Lyon, France, January 1999.
V. Lefèvre. Moyens arithmétiques pour un calcul fiable . PhD thesis, École Normale Supérieure de Lyon, Lyon, France, January 2000.
V. Lefèvre. Multiplication by an integer constant . Research report RR-4192, INRIA, May 2001.
V. Lefèvre. Multiplication by an integer constant: lower bounds on the code length . Research report RR-4493, INRIA, July 2002.
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, September 2003.
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, November 2004.
V. Lefèvre. New results on the distance between a segment and Z2. 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, June 2005. IEEE Computer Society Press, Los Alamitos, CA.
V. Lefèvre. The Euclidean division implemented with a floating-point division and a floor . Research report RR-5604, INRIA, June 2005.
V. Lefèvre. The Euclidean division implemented with a floating-point multiplication and a floor . Preprint, July 2005.
V. Lefèvre. SIPE: small integer plus exponent . Research report RR-7832, INRIA, Lyon, France, December 2011.
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, December 2011. Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik. Abstract only.
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, April 2013.
V. Lefèvre. Sipe: a mini-library for very low precision computations with correct rounding . Preprint, 2013.
V. Lefèvre. Correctly rounded arbitrary-precision floating-point summation . In Proceedings of the 23rd IEEE Symposium on Computer Arithmetic , Santa Clara, CA, USA, July 2016. IEEE.
V. Lefèvre. Correctly rounded arbitrary-precision floating-point summation . IEEE Transactions on Computers , 66(12):2111–2124, December 2017.
V. Lefèvre and 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.
V. Lefèvre and J.-M. Muller. On-the-fly range reduction . Research report RR2000-34, Laboratoire de l'Informatique du Parallélisme, Lyon, France, November 2000.
V. Lefèvre and J.-M. Muller. Worst cases for correct rounding of the elementary functions in double precision . Research report RR2000-35, Laboratoire de l'Informatique du Parallélisme, Lyon, France, November 2000.
V. Lefèvre and J.-M. Muller. On-the-fly range reduction . In SPIE's International Symposium on Optical Science and Technology , San Diego, CA, August 2000.
V. Lefèvre and J.-M. Muller. L'erreur en arithmétique des ordinateurs . Le Temps des Savoirs , (2):147–157, October 2000.
V. Lefèvre and 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.
V. Lefèvre and J.-M. Muller. On-the-fly range reduction . Journal of VLSI Signal Processing , 33(1):31–35, January 2003.
V. Lefèvre and J.-M. Muller. Some notes on the possible under/overflow of the most common elementary functions . May 2007.
V. Lefèvre and J.-M. Muller. Erreurs en arithmétique des ordinateurs . Images des mathématiques , June 2009.
V. Lefèvre and J.-M. Muller. Accurate complex multiplication in floating-point arithmetic . 2019. Accepted for the 26th IEEE Symposium on Computer Arithmetic.
V. Lefèvre, J.-M. Muller and 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.
V. Lefèvre, J.-M. Muller and A. Tisserand. The table maker's dilemma . Research report RR1998-12, Laboratoire de l'Informatique du Parallélisme, Lyon, France, February 1998.
V. Lefèvre, J.-M. Muller and A. Tisserand. Toward correctly rounded transcendentals . IEEE Transactions on Computers , 47(11):1235–1243, November 1998.
V. Lefèvre, D. Stehlé and 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.
V. Lefèvre and P. Zimmermann. Arithmétique flottante . Research report RR-5105, INRIA, February 2004.
V. Lefèvre and P. Zimmermann. Optimized binary64 and binary128 arithmetic with GNU MPFR . In Proceedings of the 24th IEEE Symposium on Computer Arithmetic , London, United Kingdom, July 2017.
G. Hanrot, V. Lefèvre, P. Pélissier and P. Zimmermann. The MPFR library . 2018.
D. Stehlé, V. Lefèvre and P. Zimmermann. Worst cases and lattice reduction . Research report RR-4586, INRIA, October 2002.
D. Stehlé, V. Lefèvre and 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.
D. Stehlé, V. Lefèvre and P. Zimmermann. Searching worst cases of a one-variable function using lattice reduction . IEEE Transactions on Computers , 54(3):340–346, March 2005.
When a paper is available in several formats, the chosen format for the main link will be the one your browser will ask via the preferences declared in the Accept HTTP header. Remember to configure your browser according to your preferences, if it allows it! For Mozilla , you can open about:config and modify the value of network.http.accept.default.
Back to the list of my publications.
Page generated from file research/publi.en.xml on 2019-04-05 by xsltproc (using libxml 20904, libxslt 10132 and libexslt 820) .

References: V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 

V. 

V. 
 V. 
 V. 

V. 

V. 

V. 

V. 

V. 

V. 

V. 

V. 

V. 

V. 

V. 

V. 

V. 

V. 

V. 

V. 

V. 

V. 

V. 

V. 

V. 

V. 

V. 

V. 

V. 

V. 

V. 

V. 

V. 

V. 

V. 

V. 
 V. 
 V. 
 V. 
 V.