Vincent Lefèvre
Présentation
Publications
Publications
|
|
An Emacs-Cairo Scrolling Bug due to Floating-Point Inaccuracy2024 IEEE 31st Symposium on Computer Arithmetic (ARITH), Jun 2024, Málaga, Spain. pp.76-79, ⟨10.1109/ARITH61463.2024.00022⟩ |
|
|
Alternative Split Functions and Dekker's ProductARITH-2020 - IEEE 27th Symposium on Computer Arithmetic, Jun 2020, Portland, United States. pp.1-7, ⟨10.1109/ARITH48897.2020.00015⟩ |
|
|
Accurate Complex Multiplication in Floating-Point ArithmeticARITH 2019 - 26th IEEE Symposium on Computer Arithmetic, Jun 2019, Kyoto, Japan. pp.1-7 |
|
|
Optimized Binary64 and Binary128 Arithmetic with GNU MPFR24th IEEE Symposium on Computer Arithmetic (ARITH 24), Jul 2017, London, United Kingdom. pp.18-26, ⟨10.1109/ARITH.2017.28⟩ |
|
|
Correctly Rounded Arbitrary-Precision Floating-Point Summation23rd IEEE Symposium on Computer Arithmetic (ARITH), Jul 2016, Santa Clara, CA, United States. ⟨10.1109/ARITH.2016.9⟩ |
|
|
SIPE: Small Integer Plus Exponent21th IEEE Symposium on Computer Arithmetic - Arith'21, Apr 2013, Austin, Texas, United States |
Generating a Minimal Interval Arithmetic Based on GNU MPFRUncertainty modeling and analysis with intervals: Foundations, tools, applications (Dagstuhl Seminar 11371), Isaac Elishakoff, Vladik Kreinovich, Wolfram Luther, Evgenija D. Popova, Sep 2011, Dagstuhl, Germany. pp.43, ⟨10.4230/DagRep.1.9.26⟩ |
|
LEMA: Towards a Language for Reliable ArithmeticInternational Workshop on Programming Languages for Mechanized Mathematics Systems (PLMMS 2010), Jul 2010, Paris, France. pp.41-52, ⟨10.1145/1838599.1838622⟩ |
|
|
|
On the Computation of Correctly-Rounded Sums19th IEEE Symposium on Computer Arithmetic - Arith'19, Jun 2009, Portland, Oregon, United States |
|
|
Worst Cases of a Periodic Function for Large Arguments18th IEEE Symposium in Computer Arithmetic, Jun 2007, Montpellier, France. pp.133-140, ⟨10.1109/ARITH.2007.37⟩ |
|
|
New Results on the Distance Between a Segment and Z². Application to the Exact Rounding17th IEEE Symposium on Computer Arithmetic - Arith'17, Jun 2005, Cape Cod, MA, United States. pp.68-75, ⟨10.1109/ARITH.2005.4⟩ |
|
|
Toward the Integration of Numerical Computations into the OMSCS Framework7th International Workshop on Computer Algebra in Scientific Computing - CASC'2004, 2004, Saint Petersburg, Russia, pp.71-79 |
|
|
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 |
Multiplication by an Integer Constant: Lower Bounds on the Code Length5th Conference on Real Numbers and Computers 2003 - RNC5, 2003, Lyon, France, pp.131-146 |
|
Worst Cases and Lattice Reduction16th IEEE Symposium on Computer Arithmetic 2003 - ARITH-16'03, 2003, Santiago de Compostela, Espagne, pp.142-147 |
|
Worst Cases for Correct Rounding of the Elementary Functions in Double Precision15th IEEE Symposium on Computer Arithmetic - ARITH 2001, 2001, Vail, Colorado, pp.111-118 |
|
|
Handbook of Floating-point Arithmetic (2nd edition)Birkhäuser Basel, pp.1-627, 2018, 978-3319765259. ⟨10.1007/978-3-319-76526-6⟩ |
Handbook of Floating-Point ArithmeticBirkhauser Boston, pp.572, 2010 |
|
|
Worst Cases for the Exponential Function in the IEEE 754r decimal64 FormatP. 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⟩ |
|
|
The Euclidean Division Implemented with a Floating-Point Multiplication and a Floor2005 |
|
|
Sipe: a Mini-Library for Very Low Precision Computations with Correct Rounding2013 |
|
|
Computing Correctly Rounded Integer Powers in Floating-Point Arithmetic2008 |
|
|
Some notes on the possible under/overflow of the most common elementary functions2007 |
|
|
An efficient rounding boundary test for pow(x,y) in double precision2007 |
|
|
Computing Integer Powers in Floating-Point Arithmetic2007 |
|
|
SIPE: Small Integer Plus Exponent[Research Report] RR-7832, INRIA. 2011, pp.21 |
|
|
On the Computation of Correctly-Rounded Sums[Research Report] RR-7262, INRIA. 2010, pp.24 |
|
|
LEMA: Towards a Language for Reliable Arithmetic[Research Report] RR-7258, INRIA. 2010, pp.15 |
|
|
The Euclidean Division Implemented with a Floating-Point Division and a Floor[Research Report] RR-5604, INRIA. 2005, pp.16 |
|
|
MPFR: A Multiple-Precision Binary Floating-Point Library With Correct Rounding[Research Report] RR-5753, INRIA. 2005, pp.15 |
|
|
Arithmétique flottante[Rapport de recherche] RR-5105, INRIA. 2004 |
|
|
Proposal for a Standardization of Mathematical Function Implementation in Floating-Point Arithmetic[Research Report] RR-5406, INRIA. 2004 |
|
|
Multiplication by an Integer Constant: Lower Bounds on the Code Length[Research Report] RR-4493, INRIA. 2002, pp.15 |
|
|
Worst Cases and Lattice Reduction[Research Report] RR-4586, INRIA. 2002 |
|
|
Multiplication by an Integer Constant[Research Report] RR-4192, INRIA. 2001 |
|
|
On-The-Fly Range Reduction[Research Report] RR-4043, LIP RR-2000-34, INRIA, LIP. 2000 |
|
|
Worst Cases for Correct Rounding of the Elementary Functions in Double Precision[Research Report] RR-4044, LIP RR-2000-35, INRIA,LIP. 2000 |