Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Boldo, Sylvie
and
Melquiond, Guillaume
2008.
Emulation of a FMA and Correctly Rounded Sums: Proved Algorithms Using Rounding to Odd.
IEEE Transactions on Computers,
Vol. 57,
Issue. 4,
p.
462.
Lauter, C.Q.
and
Lefevre, V.
2009.
An Efficient Rounding Boundary Test for {\rm pow}(x, y) in Double Precision.
IEEE Transactions on Computers,
Vol. 58,
Issue. 2,
p.
197.
Boldo, Sylvie
2009.
Kahan's Algorithm for a Correct Discriminant Computation at Last Formally Proven.
IEEE Transactions on Computers,
Vol. 58,
Issue. 2,
p.
220.
Kornerup, Peter
Lauter, Christoph
Lefèvre, Vincent
Louvet, Nicolas
and
Muller, Jean-Michel
2010.
Computing correctly rounded integer powers in floating-point arithmetic.
ACM Transactions on Mathematical Software,
Vol. 37,
Issue. 1,
p.
1.
de Dinechin, Florent
Lauter, Christoph
and
Melquiond, Guillaume
2011.
Certifying the Floating-Point Implementation of an Elementary Function Using Gappa.
IEEE Transactions on Computers,
Vol. 60,
Issue. 2,
p.
242.
Mironov, Ilya
2012.
On significance of the least significant bits for differential privacy.
p.
650.
Lawrence, Piers W.
Corless, Robert M.
and
Jeffrey, David J.
2012.
Algorithm 917.
ACM Transactions on Mathematical Software,
Vol. 38,
Issue. 3,
p.
1.
de Dinechin, Florent
Echeverría, Pedro
López-Vallejo, Marisa
and
Pasca, Bogdan
2013.
Floating-Point Exponentiation Units for Reconfigurable Computing.
ACM Transactions on Reconfigurable Technology and Systems,
Vol. 6,
Issue. 1,
p.
1.
Brunie, Nicolas
De Dinechin, Florent
Kupriianova, Olga
and
Lauter, Christoph
2015.
Code Generators for Mathematical Functions.
p.
66.
Lauter, Christoph
2016.
A new open-source SIMD vector libm fully implemented with high-level scalar C.
p.
407.
Le Maire, Julien
Brunie, Nicolas
De Dinechin, Florent
and
Muller, Jean-Michel
2016.
Computing floating-point logarithms with fixed-point operations.
p.
156.
Revy, Guillaume
2016.
Automated Design of Floating-Point Logarithm Functions on Integer Processors.
p.
172.
2017.
Floating-Point Algorithms and Formal Proofs.
p.
289.
Brisebarre, Nicolas
Hanrot, Guillaume
and
Robert, Olivier
2017.
Exponential Sums and Correctly-Rounded Functions.
IEEE Transactions on Computers,
Vol. 66,
Issue. 12,
p.
2044.
Linares, J.M.
Goch, G.
Forbes, A.
Sprauel, J.M.
Clément, A.
Haertig, F.
and
Gao, W.
2018.
Modelling and traceability for computationally-intensive precision engineering and metrology.
CIRP Annals,
Vol. 67,
Issue. 2,
p.
815.
Paxton, Bill
Schwab, Josiah
Bauer, Evan B.
Bildsten, Lars
Blinnikov, Sergei
Duffell, Paul
Farmer, R.
Goldberg, Jared A.
Marchant, Pablo
Sorokina, Elena
Thoul, Anne
Townsend, Richard H. D.
and
Timmes, F. X.
2018.
Modules for Experiments in Stellar Astrophysics (
): Convective Boundaries, Element Diffusion, and Massive Star Explosions.
The Astrophysical Journal Supplement Series,
Vol. 234,
Issue. 2,
p.
34.
Muller, Jean-Michel
Brunie, Nicolas
de Dinechin, Florent
Jeannerod, Claude-Pierre
Joldes, Mioara
Lefèvre, Vincent
Melquiond, Guillaume
Revol, Nathalie
and
Torres, Serge
2018.
Handbook of Floating-Point Arithmetic.
p.
513.
Muller, Jean-Michel
Brunie, Nicolas
de Dinechin, Florent
Jeannerod, Claude-Pierre
Joldes, Mioara
Lefèvre, Vincent
Melquiond, Guillaume
Revol, Nathalie
and
Torres, Serge
2018.
Handbook of Floating-Point Arithmetic.
p.
267.
de Lassus Saint-Genies, Hugues
Brunie, Nicolas
and
Revy, Guillaume
2018.
Meta-implementation of vectorized logarithm function in binary floating-point arithmetic.
p.
1.
de Dinechin, Florent
Forget, Luc
Muller, Jean-Michel
and
Uguen, Yohann
2019.
Posits.
p.
1.