Semantics of roundoff error propagation in finite precision calculations
type: Item
instance of: scholarly article
title: Semantics of roundoff error propagation in finite precision calculations
zbMATH Open document ID: 1105.65052
author: Matthieu Martel
published in: Higher-Order and Symbolic Computation
publication date: 2006-11-17T00:00:00Z
Mathematics Subject Classification ID: 65G50
Mathematics Subject Classification ID: 68M07
zbMATH DE Number: 5073689
zbMATH Keywords: Numerical precision
zbMATH Keywords: Abstract interpretation
zbMATH Keywords: Floating-point arithmetic
zbMATH Keywords: IEEE 754 Standard
describes a project that uses: mctoolbox
describes a project that uses: MPFR
describes a project that uses: ADIC
MaRDI profile type: Publication
full work available at URL: s10990-006-8608-2
OpenAlex ID: W2033118822
cites work: Chaos
cites work: On the implementation of automatic differentiation tools
cites work: Abstract Interpretation Frameworks
cites work: Q4790659
cites work: Q4198056
cites work: Q4778705
cites work: Q4738356
cites work: Q4954403
cites work: Q4864704
cites work: Q4398780
cites work: Automatic linear correction of rounding errors
cites work: Q4738355
cites work: Q4411955
cites work: Q3890010
cites work: Q4475657
cites work: Q5567825
cites work: Rigorous error analysis of numerical algorithms via symbolic computations
cites work: Numerical Software with Result Verification
DOI: 10.1007/S10990-006-8608-2
Recommended article: Q4738355
Recommended article: Q3336584
Recommended article: Réduction et majoration de l'erreur d'arrondi en arithmétique à virgule flottante
Recommended article: Q3323143
Recommended article: Q3474842
Recommended article: On roundoff error distributions in floating point and logarithmic arithmetic
Recommended article: Probability Analysis of Round-Off Errors in Floating-Point Arithmetic
Recommended article: Q5614999
description: scientific article; zbMATH DE number 5073689