default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDVincent Lefèvre
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2018
[b2]Jean-Michel Muller
, Nicolas Brunie, Florent de Dinechin, Claude-Pierre Jeannerod, Mioara Joldes, Vincent Lefèvre, Guillaume Melquiond, Nathalie Revol, Serge Torres:
Handbook of Floating-Point Arithmetic (2nd Ed.). Springer 2018, ISBN 978-3-319-76525-9- 2010
- [b1]Jean-Michel Muller, Nicolas Brisebarre, Florent de Dinechin, Claude-Pierre Jeannerod, Vincent Lefèvre, Guillaume Melquiond, Nathalie Revol, Damien Stehlé, Serge Torres:
Handbook of Floating-Point Arithmetic. Birkhäuser 2010, ISBN 978-0-8176-4704-9, pp. I-XXIII, 1-572
Journal Articles
- 2023
- [j13]Vincent Lefèvre, Nicolas Louvet, Jean-Michel Muller, Joris Picot, Laurence Rideau:
Accurate Calculation of Euclidean Norms Using Double-word Arithmetic. ACM Trans. Math. Softw. 49(1): 1:1-1:34 (2023) - 2017
- [j12]Vincent Lefèvre:
Correctly Rounded Arbitrary-Precision Floating-Point Summation. IEEE Trans. Computers 66(12): 2111-2124 (2017) - 2015
- [j11]Stef Graillat, Vincent Lefèvre, Jean-Michel Muller:
On the maximum relative error when computing integer powers by iterated multiplications in floating-point arithmetic. Numer. Algorithms 70(3): 653-667 (2015) - 2012
- [j10]Peter Kornerup, Vincent Lefèvre, Nicolas Louvet, Jean-Michel Muller:
On the Computation of Correctly Rounded Sums. IEEE Trans. Computers 61(3): 289-298 (2012) - 2010
- [j9]Vincent Lefèvre, Philippe Théveny, Florent de Dinechin, Claude-Pierre Jeannerod, Christophe Mouilleron, David Pfannholzer, Nathalie Revol:
LEMA: towards a language for reliable arithmetic. ACM Commun. Comput. Algebra 44(1/2): 41-52 (2010) - [j8]Kaveh R. Ghazi, Vincent Lefèvre, Philippe Théveny, Paul Zimmermann:
Why and How to Use Arbitrary Precision. Comput. Sci. Eng. 12(3): 5 (2010) - [j7]Peter Kornerup, Christoph Quirin Lauter, Vincent Lefèvre, Nicolas Louvet, Jean-Michel Muller:
Computing correctly rounded integer powers in floating-point arithmetic. ACM Trans. Math. Softw. 37(1): 4:1-4:23 (2010) - 2009
- [j6]Christoph Quirin Lauter, Vincent Lefèvre:
An Efficient Rounding Boundary Test for {rm pow}(x, y) in Double Precision. IEEE Trans. Computers 58(2): 197-207 (2009) - 2007
- [j5]Laurent Fousse, Guillaume Hanrot, Vincent Lefèvre, Patrick Pélissier, Paul Zimmermann:
MPFR: A multiple-precision binary floating-point library with correct rounding. ACM Trans. Math. Softw. 33(2): 13 (2007) - 2005
- [j4]Damien Stehlé, Vincent Lefèvre, Paul Zimmermann:
Searching Worst Cases of a One-Variable Function Using Lattice Reduction. IEEE Trans. Computers 54(3): 340-346 (2005) - 2004
- [j3]David Defour, Guillaume Hanrot, Vincent Lefèvre, Jean-Michel Muller, Nathalie Revol, Paul Zimmermann:
Proposal for a Standardization of Mathematical Function Implementation in Floating-Point Arithmetic. Numer. Algorithms 37(1-4): 367-375 (2004) - 2003
- [j2]Vincent Lefèvre, Jean-Michel Muller:
On-the-Fly Range Reduction. J. VLSI Signal Process. 33(1-2): 31-35 (2003) - 1998
- [j1]Vincent Lefèvre, Jean-Michel Muller, Arnaud Tisserand:
Toward Correctly Rounded Transcendentals. IEEE Trans. Computers 47(11): 1235-1243 (1998)
Conference and Workshop Papers
- 2024
- [c15]Vincent Lefèvre:
An Emacs-Cairo Scrolling Bug due to Floating-Point Inaccuracy. ARITH 2024: 76-79 - 2020
- [c14]Stef Graillat, Vincent Lefèvre, Jean-Michel Muller:
Alternative Split Functions and Dekker's Product. ARITH 2020: 41-47 - 2019
- [c13]Vincent Lefèvre, Jean-Michel Muller:
Accurate Complex Multiplication in Floating-Point Arithmetic. ARITH 2019: 23-29 - 2017
- [c12]Vincent Lefèvre, Paul Zimmermann:
Optimized Binary64 and Binary128 Arithmetic with GNU MPFR. ARITH 2017: 18-26 - 2016
- [c11]Vincent Lefèvre:
Correctly Rounded Arbitrary-Precision Floating-Point Summation. ARITH 2016: 71-78 - 2013
- [c10]Vincent Lefèvre:
SIPE: Small Integer Plus Exponent. IEEE Symposium on Computer Arithmetic 2013: 99-106 - 2009
- [c9]Peter Kornerup, Vincent Lefèvre, Nicolas Louvet, Jean-Michel Muller:
On the Computation of Correctly-Rounded Sums. IEEE Symposium on Computer Arithmetic 2009: 155-160 - 2008
- [c8]Vincent Lefèvre, Damien Stehlé, Paul Zimmermann:
Worst Cases for the Exponential Function in the IEEE 754r decimal64 Format. Reliable Implementation of Real Number Algorithms 2008: 114-126 - 2007
- [c7]Guillaume Hanrot, Vincent Lefèvre, Damien Stehlé, Paul Zimmermann:
Worst Cases of a Periodic Function for Large Arguments. IEEE Symposium on Computer Arithmetic 2007: 133-140 - 2005
- [c6]Vincent Lefèvre:
New Results on the Distance between a Segment and Z2. Application to the Exact Rounding. IEEE Symposium on Computer Arithmetic 2005: 68-75 - 2003
- [c5]Damien Stehlé, Vincent Lefèvre, Paul Zimmermann:
Worst Cases and Lattice Reduction. IEEE Symposium on Computer Arithmetic 2003: 142-147 - 2001
- [c4]Vincent Lefèvre, Jean-Michel Muller:
Worst Cases for Correct Rounding of the Elementary Functions in Double Precision. IEEE Symposium on Computer Arithmetic 2001: 111-118 - 2000
- [c3]Florent de Dinechin, Vincent Lefèvre:
Constant Multipliers for FPGAs. PDPTA 2000 - 1998
- [c2]Vincent Lefèvre:
An Algorithm that Computes a Lower Bound on the Distance Between a Segment and ℤ2. SCAN 1998: 203-212 - 1997
- [c1]Vincent Lefèvre, Arnaud Tisserand, Jean-Michel Muller:
Towards Correctly Rounded Transcendentals. IEEE Symposium on Computer Arithmetic 1997: 132-
Informal and Other Publications
- 2014
- [i4]Stef Graillat, Vincent Lefèvre, Jean-Michel Muller:
On the maximum relative error when computing x^n in floating-point arithmetic. CoRR abs/1402.2991 (2014) - 2007
- [i3]Peter Kornerup, Vincent Lefèvre, Jean-Michel Muller:
Computing Integer Powers in Floating-Point Arithmetic. CoRR abs/0705.4369 (2007) - 2006
- [i2]Vincent Lefèvre, Damien Stehlé, Paul Zimmermann:
Worst Cases for the Exponential Function in the IEEE 754r decimal64 Format. Reliable Implementation of Real Number Algorithms 2006 - 2005
- [i1]Vincent Lefèvre:
The Generic Multiple-Precision Floating-Point Addition With Exact Rounding (as in the MPFR Library). CoRR abs/cs/0505027 (2005)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-11 00:34 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
