Handbook of floating-point arithmetic
DOI10.1007/978-3-319-76526-6zbMATH Open1394.65001OpenAlexW2887397219WikidataQ55899286 ScholiaQ55899286MaRDI QIDQ4609588FDOQ4609588
Authors: Jean-Michel Muller, Nicolas Brunie, Florent de Dinechin, Claude-Pierre Jeannerod, Vincent Lefèvre, Guillaume Melquiond, Nathalie Revol, Serge Torres, Mioara Joldes 
Publication date: 4 April 2018
Full work available at URL: https://doi.org/10.1007/978-3-319-76526-6
Recommendations
- Handbook of Floating-Point Arithmetic
- Finite precision number systems and arithmetic
- Numerical computing with IEEE floating point arithmetic. Incl. one theorem, one rule of thumb, and one hundred and one exercises
- Elementary functions. Algorithms and implementation
- Computer arithmetic and validity. Theory, implementation, and applications
algorithmshardware implementationsoftware implementationfloating-point numbersfloating-point formats
Theory of programming languages (68N15) Roundoff error (65G50) Theory of compilers and interpreters (68N20) Mathematical problems of computer architecture (68M07) Numerical algorithms for computer arithmetic, etc. (65Y04) Hardware implementations of nonnumerical algorithms (VLSI algorithms, etc.) (68W35) General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to numerical analysis (65-00) General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to computer science (68-00)
Cited In (35)
- Addendum to: ``On recurrences converging to the wrong limit in finite precision and some new examples
- Arithmetic of finite precision
- Mixed precision algorithms in numerical linear algebra
- Floating-Point LLL: Theoretical and Practical Aspects
- Floating-point arithmetic
- Accurate calculation of Euclidean norms using double-word arithmetic
- Computation of the unit in the first place (ufp) and the unit in the last place (ulp) in precision-\(p\) base \(\beta\)
- Finding normal binary floating-point factors efficiently
- The end of error: Unum computing
- Handbook of Floating-Point Arithmetic
- Numbers and computers
- Stochastic rounding and reduced-precision fixed-point arithmetic for solving neural ordinary differential equations
- Computer arithmetic algorithms.
- How many steps still left to \(x\)?
- Fast evaluation and root finding for polynomials with floating-point coefficients
- CPFloat: a C library for simulating low-precision arithmetic
- IEEE-754 precision-\(p\) base-\(\beta\) arithmetic implemented in binary
- Fast evaluation and root finding for polynomials with floating-point coefficients
- Fast and accurate computation of the Euclidean norm of a vector
- Enabling floating-point arithmetic in the Coq proof assistant
- Matrix Multiplication in Multiword Arithmetic: Error Analysis and Application to GPU Tensor Cores
- Matrices with tunable infinity-norm condition number and no need for pivoting in LU factorization
- Compensated summation and dot product algorithms for floating-point vectors on parallel architectures: error bounds, implementation and application in the Krylov subspace methods
- QuadConv: quadrature-based convolutions with applications to non-uniform PDE data compression
- Numerical stability of algorithms at extreme scale and low precisions
- Numbers and computers (to appear)
- A precision- and range-independent tool for testing floating-point arithmetic II
- Enclosing Chebyshev expansions in linear time
- Stochastic rounding and its probabilistic backward error analysis
- The mathematics of floating-point arithmetic
- Title not available (Why is that?)
- GPU accelerated Newton for Taylor series solutions of polynomial homotopies in multiple double precision
- Expressive power of ReLU and step networks under floating-point operations
- On recurrences converging to the wrong limit in finite precision and some new examples
- Numerical computing with IEEE floating point arithmetic. Incl. one theorem, one rule of thumb, and one hundred and one exercises
Uses Software
This page was built for publication: Handbook of floating-point arithmetic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4609588)
