|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 16 occurrences of 8 keywords
|
|
|
|
|
Results
Found 21 publication records. Showing 21 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Peter Kornerup, Vincent Lefèvre, Nicolas Louvet, Jean-Michel Muller |
On the Computation of Correctly Rounded Sums.  |
IEEE Trans. Computers  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Kaveh R. Ghazi, Vincent Lefèvre, Philippe Théveny, Paul Zimmermann |
Why and How to Use Arbitrary Precision. |
Computing in Science and Engineering |
2010 |
DBLP DOI BibTeX RDF |
Arbitrary precision, correct rounding, GNU MPFR library, scientific computing, IEEE 754 standard |
| 1 | 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. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
|
2010 |
DOI RDF |
|
| 1 | Christoph Quirin Lauter, Vincent Lefèvre |
An Efficient Rounding Boundary Test for {rm pow}(x, y) in Double Precision. |
IEEE Trans. Computers |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Kornerup, Vincent Lefèvre, Nicolas Louvet, Jean-Michel Muller |
On the Computation of Correctly-Rounded Sums. |
IEEE Symposium on Computer Arithmetic |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Kornerup, Vincent Lefèvre, Jean-Michel Muller |
Computing Integer Powers in Floating-Point Arithmetic |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | 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. |
2007 |
DBLP DOI BibTeX RDF |
correct rounding, floating-point arithmetic, elementary function, Multiple-precision arithmetic, IEEE 754 standard, portable software |
| 1 | Guillaume Hanrot, Vincent Lefèvre, Damien Stehlé, Paul Zimmermann |
Worst Cases of a Periodic Function for Large Arguments. |
IEEE Symposium on Computer Arithmetic |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Damien Stehlé, Vincent Lefèvre, Paul Zimmermann |
Searching Worst Cases of a One-Variable Function Using Lattice Reduction. |
IEEE Trans. Computers |
2005 |
DBLP DOI BibTeX RDF |
special function approximations, Computer arithmetic, multiple precision arithmetic |
| 1 | Vincent Lefèvre |
The Generic Multiple-Precision Floating-Point Addition With Exact Rounding (as in the MPFR Library) |
CoRR |
2005 |
DBLP BibTeX RDF |
|
| 1 | Vincent Lefèvre |
New Results on the Distance between a Segment and Z2. Application to the Exact Rounding. |
IEEE Symposium on Computer Arithmetic |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
Numerical Algorithms |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincent Lefèvre, Jean-Michel Muller |
On-the-Fly Range Reduction. |
VLSI Signal Processing |
2003 |
DBLP DOI BibTeX RDF |
range reduction, computer arithmetic, elementary functions |
| 1 | Damien Stehlé, Vincent Lefèvre, Paul Zimmermann |
Worst Cases and Lattice Reduction. |
IEEE Symposium on Computer Arithmetic |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincent Lefèvre, Jean-Michel Muller |
Worst Cases for Correct Rounding of the Elementary Functions in Double Precision. |
IEEE Symposium on Computer Arithmetic |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Florent de Dinechin, Vincent Lefèvre |
Constant Multipliers for FPGAs. |
PDPTA |
2000 |
DBLP BibTeX RDF |
|
| 1 | Vincent Lefèvre, Jean-Michel Muller, Arnaud Tisserand |
Toward Correctly Rounded Transcendentals. |
IEEE Trans. Computers |
1998 |
DBLP DOI BibTeX RDF |
Table Maker's Dilemma, Floating-point arithmetic, rounding, elementary functions |
| 1 | Vincent Lefèvre, Arnaud Tisserand, Jean-Michel Muller |
Towards Correctly Rounded Transcendentals. |
IEEE Symposium on Computer Arithmetic |
1997 |
DBLP DOI BibTeX RDF |
floating-point arithmetic, elementary functions |
Displaying result #1 - #21 of 21 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")