Handbook of Floating-Point Arithmetic

DOI10.1007/978-3-319-76526-6zbMath1394.65001OpenAlexW2887397219WikidataQ55899286 ScholiaQ55899286MaRDI QIDQ4609588

Serge Torres, Florent de Dinechin, Guillaume Melquiond, Nathalie Revol, Vincent Lefèvre, Nicolas Brunie, Claude-Pierre Jeannerod, Jean-Michel Muller, Mioara Joldes

Publication date: 4 April 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-76526-6

zbMATH Keywords

algorithmshardware implementationsoftware implementationfloating-point numbersfloating-point formats

Mathematics Subject Classification ID

Theory of programming languages (68N15) Theory of compilers and interpreters (68N20) Hardware implementations of nonnumerical algorithms (VLSI algorithms, etc.) (68W35) Roundoff error (65G50) Mathematical problems of computer architecture (68M07) General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to computer science (68-00) General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to numerical analysis (65-00) Numerical algorithms for computer arithmetic, etc. (65Y04)

Related Items (18)

Matrix Multiplication in Multiword Arithmetic: Error Analysis and Application to GPU Tensor Cores ⋮ Mixed precision algorithms in numerical linear algebra ⋮ Compensated summation and dot product algorithms for floating-point vectors on parallel architectures: error bounds, implementation and application in the Krylov subspace methods ⋮ Computation of the unit in the first place (ufp) and the unit in the last place (ulp) in precision-\(p\) base \(\beta\) ⋮ Floating-point arithmetic ⋮ Enabling floating-point arithmetic in the Coq proof assistant ⋮ Fast evaluation and root finding for polynomials with floating-point coefficients ⋮ Fast and accurate computation of the Euclidean norm of a vector ⋮ Finding normal binary floating-point factors efficiently ⋮ QuadConv: quadrature-based convolutions with applications to non-uniform PDE data compression ⋮ Numerical stability of algorithms at extreme scale and low precisions ⋮ On recurrences converging to the wrong limit in finite precision and some new examples ⋮ Addendum to: ``On recurrences converging to the wrong limit in finite precision and some new examples ⋮ Enclosing Chebyshev Expansions in Linear Time ⋮ Stochastic rounding and reduced-precision fixed-point arithmetic for solving neural ordinary differential equations ⋮ How Many Steps Still Left to $x$*? ⋮ Stochastic Rounding and Its Probabilistic Backward Error Analysis ⋮ Matrices with Tunable Infinity-Norm Condition Number and No Need for Pivoting in LU Factorization

Uses Software

• gmp
• MACHAR
• Magma
• MPFI
• NTL
• MPFR
• INTLAB
• Flocq
• ARPREC
• Sollya
• SoftFloat
• fpLLL
• CAMPARY
• CR-LIBM
• doubledouble
• FLIP
• DPE

This page was built for publication: Handbook of Floating-Point Arithmetic