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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Why and How to Use Arbitrary Precision
Kaveh R. Ghazi
,
Vincent Lefèvre
,
Philippe Théveny
,
Paul Zimmermann
Journal articles
inria-00543927v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
An efficient rounding boundary test for pow(x,y) in double precision
Christoph Lauter
,
Vincent Lefèvre
2007
Preprints, Working Papers, ...
ensl-00169409v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Alternative Split Functions and Dekker's Product
Stef Graillat
,
Vincent Lefèvre
,
Jean-Michel Muller
Conference papers
hal-02470782v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
On the maximum relative error when computing integer powers by iterated multiplications in floating-point arithmetic
Stef Graillat
,
Vincent Lefèvre
,
Jean-Michel Muller
Journal articles
ensl-00945033v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Computing Correctly Rounded Integer Powers in Floating-Point Arithmetic
Peter Kornerup
,
Christoph Lauter
,
Vincent Lefèvre
,
Nicolas Louvet
,
Jean-Michel Muller
et al.
Journal articles
inria-00388501v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Sipe: a Mini-Library for Very Low Precision Computations with Correct Rounding
Vincent Lefèvre
2013
Preprints, Working Papers, ...
hal-00864580v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
An efficient rounding boundary test for pow(x,y) in double precision
Christoph Quirin Lauter
,
Vincent Lefèvre
Journal articles
inria-00583988v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Multiplication by an Integer Constant
Vincent Lefèvre
[Research Report] RR-4192, INRIA. 2001
Reports
inria-00072430v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Arithmétique flottante
Vincent Lefèvre
,
Paul Zimmermann
[Rapport de recherche] RR-5105, INRIA. 2004
Reports
inria-00071477v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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.
Journal articles
inria-00103655v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Correctly Rounded Arbitrary-Precision Floating-Point Summation
Vincent Lefèvre
Journal articles
hal-01394289v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Worst Cases and Lattice Reduction
Damien Stehlé
,
Vincent Lefèvre
,
Paul Zimmermann
[Research Report] RR-4586, INRIA. 2002
Reports
inria-00071999v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Searching Worst Cases of a One-Variable Function Using Lattice Reduction
Damien Stehlé
,
Paul Zimmermann
,
Vincent Lefèvre
Journal articles
inria-00000379v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
The Euclidean Division Implemented with a Floating-Point Multiplication and a Floor
Vincent Lefèvre
2005
Other publications
inria-00000159v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More