Articles citing this article

The Citing articles tool gives a list of articles citing the current article.
The citing articles come from EDP Sciences database, as well as other publishers participating in CrossRef Cited-by Linking Program. You can set up your personal account to receive an email alert each time this article is cited by a new article (see the menu on the right-hand side of the abstract page).

Cited article:

This article has been cited by the following article(s):

Modules for Experiments in Stellar Astrophysics (${\mathtt{M}}{\mathtt{E}}{\mathtt{S}}{\mathtt{A}}$): Convective Boundaries, Element Diffusion, and Massive Star Explosions

Bill Paxton, Josiah Schwab, Evan B. Bauer, et al.
The Astrophysical Journal Supplement Series 234 (2) 34 (2018)
DOI: 10.3847/1538-4365/aaa5a8
See this article

Emulation of a FMA and Correctly Rounded Sums: Proved Algorithms Using Rounding to Odd

Sylvie Boldo and Guillaume Melquiond
IEEE Transactions on Computers 57 (4) 462 (2008)
DOI: 10.1109/TC.2007.70819
See this article

Kahan's Algorithm for a Correct Discriminant Computation at Last Formally Proven

Sylvie Boldo
IEEE Transactions on Computers 58 (2) 220 (2009)
DOI: 10.1109/TC.2008.200
See this article

Exponential Sums and Correctly-Rounded Functions

Nicolas Brisebarre, Guillaume Hanrot and Olivier Robert
IEEE Transactions on Computers 66 (12) 2044 (2017)
DOI: 10.1109/TC.2017.2690850
See this article

Handbook of Floating-Point Arithmetic

Jean-Michel Muller, Nicolas Brunie, Florent de Dinechin, et al.
Handbook of Floating-Point Arithmetic 267 (2018)
DOI: 10.1007/978-3-319-76526-6_8
See this article

Handbook of Floating-Point Arithmetic

Jean-Michel Muller, Nicolas Brunie, Florent de Dinechin, et al.
Handbook of Floating-Point Arithmetic 513 (2018)
DOI: 10.1007/978-3-319-76526-6_14
See this article

Accurately computing the log-sum-exp and softmax functions

Pierre Blanchard, Desmond J Higham and Nicholas J Higham
IMA Journal of Numerical Analysis (2020)
DOI: 10.1093/imanum/draa038
See this article

Floating-Point Algorithms and Formal Proofs

Floating-Point Algorithms and Formal Proofs 289 (2017)
DOI: 10.1016/B978-1-78548-112-3.50015-1
See this article

An Efficient Rounding Boundary Test for {\rm pow}(x, y) in Double Precision

C.Q. Lauter and V. Lefevre
IEEE Transactions on Computers 58 (2) 197 (2009)
DOI: 10.1109/TC.2008.202
See this article

Certifying the Floating-Point Implementation of an Elementary Function Using Gappa

Florent de Dinechin, Christoph Lauter and Guillaume Melquiond
IEEE Transactions on Computers 60 (2) 242 (2011)
DOI: 10.1109/TC.2010.128
See this article

Computing correctly rounded integer powers in floating-point arithmetic

Peter Kornerup, Christoph Lauter, Vincent Lefèvre, Nicolas Louvet and Jean-Michel Muller
ACM Transactions on Mathematical Software 37 (1) 1 (2010)
DOI: 10.1145/1644001.1644005
See this article

Modelling and traceability for computationally-intensive precision engineering and metrology

J.M. Linares, G. Goch, A. Forbes, et al.
CIRP Annals 67 (2) 815 (2018)
DOI: 10.1016/j.cirp.2018.05.003
See this article

Floating-Point Exponentiation Units for Reconfigurable Computing

Florent de Dinechin, Pedro Echeverría, Marisa López-Vallejo and Bogdan Pasca
ACM Transactions on Reconfigurable Technology and Systems 6 (1) 1 (2013)
DOI: 10.1145/2457443.2457447
See this article

Algorithm 917

Piers W. Lawrence, Robert M. Corless and David J. Jeffrey
ACM Transactions on Mathematical Software 38 (3) 1 (2012)
DOI: 10.1145/2168773.2168779
See this article