Least significant bit evaluation of arithmetic expressions in single- precision
From MaRDI portal
Publication:1169256
DOI10.1007/BF02253892zbMath0494.65020MaRDI QIDQ1169256
Publication date: 1983
Published in: Computing (Search for Journal in Brave)
error estimation; floating-point arithmetic; high accuracy; rounding error; inclusion; triangular linear systems; automatic verification of correctness; Horner's scheme for polynomial evaluation
65G50: Roundoff error
65D20: Computation of special functions and constants, construction of tables
65F05: Direct numerical methods for linear systems and matrix inversion