Search - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly

Filter your results

51 Results
authIdHal_s : vinc17

Multiplication by an Integer Constant: Lower Bounds on the Code Length

Vincent Lefèvre
5th Conference on Real Numbers and Computers 2003 - RNC5, 2003, Lyon, France, pp.131-146
Conference papers inria-00099684v1
Image document

On the Computation of Correctly-Rounded Sums

Peter Kornerup , Vincent Lefèvre , Nicolas Louvet , Jean-Michel Muller
[Research Report] RR-7262, INRIA. 2010, pp.24
Reports inria-00475279v1
Image document

Some notes on the possible under/overflow of the most common elementary functions

Jean-Michel Muller , Vincent Lefèvre
2007
Preprints, Working Papers, ... ensl-00149414v1

On-the-Fly Range Reduction

Vincent Lefèvre , Jean-Michel Muller
Journal of Signal Processing Systems, 2003, Special Issue on Computer Arithmetic and Applications, 33 (1-2), pp.31-35. ⟨10.1023/A:1021137717282⟩
Journal articles istex inria-00099524v1

Generating a Minimal Interval Arithmetic Based on GNU MPFR

Vincent Lefèvre
Uncertainty 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⟩
Conference papers hal-00651939v1

Why and How to Use Arbitrary Precision

Kaveh R. Ghazi , Vincent Lefèvre , Philippe Théveny , Paul Zimmermann
Computing in Science and Engineering, 2010, 12 (3), pp.62-65. ⟨10.1109/MCSE.2010.73⟩
Journal articles inria-00543927v1
Image document

An efficient rounding boundary test for pow(x,y) in double precision

Christoph Lauter , Vincent Lefèvre
2007
Preprints, Working Papers, ... ensl-00169409v2
Image document

Alternative Split Functions and Dekker's Product

Stef Graillat , Vincent Lefèvre , Jean-Michel Muller
ARITH-2020 - IEEE 27th Symposium on Computer Arithmetic, Jun 2020, Portland, United States. pp.1-7, ⟨10.1109/ARITH48897.2020.00015⟩
Conference papers hal-02470782v2
Image document

The Euclidean Division Implemented with a Floating-Point Division and a Floor

Vincent Lefèvre
[Research Report] RR-5604, INRIA. 2005, pp.16
Reports inria-00070403v1

Worst Cases for Correct Rounding of the Elementary Functions in Double Precision

Vincent Lefèvre , Jean-Michel Muller
15th IEEE Symposium on Computer Arithmetic - ARITH 2001, 2001, Vail, Colorado, pp.111-118
Conference papers inria-00100547v1

LEMA: Towards a Language for Reliable Arithmetic

Vincent Lefèvre , Philippe Théveny , Florent de Dinechin , Claude-Pierre Jeannerod , Christophe Mouilleron et al.
International Workshop on Programming Languages for Mechanized Mathematics Systems (PLMMS 2010), Jul 2010, Paris, France. pp.41-52, ⟨10.1145/1838599.1838622⟩
Conference papers inria-00542143v1
Image document

On the maximum relative error when computing integer powers by iterated multiplications in floating-point arithmetic

Stef Graillat , Vincent Lefèvre , Jean-Michel Muller
Numerical Algorithms, 2015, 70 (3), pp.653-667. ⟨10.1007/s11075-015-9967-8⟩
Journal articles ensl-00945033v2

Computing Correctly Rounded Integer Powers in Floating-Point Arithmetic

Peter Kornerup , Christoph Lauter , Vincent Lefèvre , Nicolas Louvet , Jean-Michel Muller et al.
ACM Transactions on Mathematical Software, 2010, 37 (1), pp.4:1-4:23. ⟨10.1145/1644001.1644005⟩
Journal articles inria-00388501v1
Image document

Toward the Integration of Numerical Computations into the OMSCS Framework

Jacques Calmet , Vincent Lefèvre
7th International Workshop on Computer Algebra in Scientific Computing - CASC'2004, 2004, Saint Petersburg, Russia, pp.71-79
Conference papers inria-00099920v1
Image document

Multiplication by an Integer Constant: Lower Bounds on the Code Length

Vincent Lefèvre
[Research Report] RR-4493, INRIA. 2002, pp.15
Reports inria-00072095v1

Handbook of Floating-Point Arithmetic

Jean-Michel Muller , Nicolas Brisebarre , Florent de Dinechin , Claude-Pierre Jeannerod , Vincent Lefèvre et al.
Birkhauser Boston, pp.572, 2010
Books ensl-00379167v1
Image document

Sipe: a Mini-Library for Very Low Precision Computations with Correct Rounding

Vincent Lefèvre
2013
Preprints, Working Papers, ... hal-00864580v1
Image document

On-The-Fly Range Reduction

Vincent Lefèvre , Jean-Michel Muller
[Research Report] RR-4043, LIP RR-2000-34, INRIA, LIP. 2000
Reports inria-00072595v1

An efficient rounding boundary test for pow(x,y) in double precision

Christoph Quirin Lauter , Vincent Lefèvre
IEEE Transactions on Computers, 2009, 58 (2), pp.197-207. ⟨10.1109/TC.2008.202⟩
Journal articles inria-00583988v1
Image document

Accurate Complex Multiplication in Floating-Point Arithmetic

Vincent Lefèvre , Jean-Michel Muller
ARITH 2019 - 26th IEEE Symposium on Computer Arithmetic, Jun 2019, Kyoto, Japan. pp.1-7
Conference papers hal-02001080v2
Image document

Correctly Rounded Arbitrary-Precision Floating-Point Summation

Vincent Lefèvre
23rd IEEE Symposium on Computer Arithmetic (ARITH), Jul 2016, Santa Clara, CA, United States. ⟨10.1109/ARITH.2016.9⟩
Conference papers hal-01242127v3
Image document

Multiplication by an Integer Constant

Vincent Lefèvre
[Research Report] RR-4192, INRIA. 2001
Reports inria-00072430v1
Image document

Arithmétique flottante

Vincent Lefèvre , Paul Zimmermann
[Rapport de recherche] RR-5105, INRIA. 2004
Reports inria-00071477v1

MPFR: A Multiple-Precision Binary Floating-Point Library with Correct Rounding.

Laurent Fousse , Guillaume Hanrot , Vincent Lefèvre , Patrick Pélissier , Paul Zimmermann et al.
ACM Transactions on Mathematical Software, 2007, 33 (2), pp.article 13. ⟨10.1145/1236463.1236468⟩
Journal articles inria-00103655v1
Image document

Worst Cases for the Exponential Function in the IEEE 754r decimal64 Format

Vincent Lefèvre , Damien Stehlé , Paul Zimmermann
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⟩
Book sections inria-00068731v2
Image document

Proposal for a Standardization of Mathematical Function Implementation in Floating-Point Arithmetic

David Defour , Guillaume Hanrot , Vincent Lefèvre , Jean-Michel Muller , Nathalie Revol et al.
[Research Report] RR-5406, INRIA. 2004
Reports inria-00071249v1
Image document

Correctly Rounded Arbitrary-Precision Floating-Point Summation

Vincent Lefèvre
IEEE Transactions on Computers, 2017, 66 (12), pp.14. ⟨10.1109/TC.2017.2690632⟩
Journal articles hal-01394289v2
Image document

Worst Cases and Lattice Reduction

Damien Stehlé , Vincent Lefèvre , Paul Zimmermann
[Research Report] RR-4586, INRIA. 2002
Reports inria-00071999v1

Searching Worst Cases of a One-Variable Function Using Lattice Reduction

Damien Stehlé , Paul Zimmermann , Vincent Lefèvre
IEEE Transactions on Computers, 2005, 54 (3), pp.340-346. ⟨10.1109/TC.2005.55⟩
Journal articles inria-00000379v1
Image document

The Euclidean Division Implemented with a Floating-Point Multiplication and a Floor

Vincent Lefèvre
2005
Other publications inria-00000159v1