Handbook of floating-point arithmetic
From MaRDI portal
algorithmsfloating-point formatsfloating-point numbershardware implementationsoftware implementation
General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to numerical analysis (65-00) Roundoff error (65G50) Numerical algorithms for computer arithmetic, etc. (65Y04) General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to computer science (68-00) Mathematical problems of computer architecture (68M07) Theory of programming languages (68N15) Theory of compilers and interpreters (68N20) Hardware implementations of nonnumerical algorithms (VLSI algorithms, etc.) (68W35)
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
Cited in
(53)- Compensated summation and dot product algorithms for floating-point vectors on parallel architectures: error bounds, implementation and application in the Krylov subspace methods
- 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
- Numerical computing with IEEE floating point arithmetic. Incl. one theorem, one rule of thumb, and one hundred and one exercises
- Computer arithmetic algorithms.
- Handbook of Floating-Point Arithmetic
- 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?
- The mathematics of floating-point arithmetic
- The end of error: Unum computing
- Floating-Point LLL: Theoretical and Practical Aspects
- Numbers and computers
- A precision- and range-independent tool for testing floating-point arithmetic II
- scientific article; zbMATH DE number 4182703 (Why is no real title available?)
- Stochastic rounding and its probabilistic backward error analysis
- Matrices with tunable infinity-norm condition number and no need for pivoting in LU factorization
- Matrix Multiplication in Multiword Arithmetic: Error Analysis and Application to GPU Tensor Cores
- Mixed precision algorithms in numerical linear algebra
- Computation of the unit in the first place (ufp) and the unit in the last place (ulp) in precision-p base
- 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
- Expressive power of ReLU and step networks under floating-point operations
- Arithmetic of finite precision
- Accurate calculation of Euclidean norms using double-word arithmetic
- 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
- Numbers and computers (to appear)
- GPU accelerated Newton for Taylor series solutions of polynomial homotopies in multiple double precision
- An exchange algorithm for optimizing both approximation and finite-precision evaluation errors in polynomial approximations
- End-to-end formal verification of a fast and accurate floating-point approximation
- Numerical solution of the nonlinear boson diffusion equation for gluons
- Error analysis of sum-product algorithms under stochastic rounding
- Emulation of the FMA and the correctly-rounded sum of three numbers in rounding-to-nearest floating-point arithmetic
- Probabilistic error analysis of limited-precision stochastic rounding
- A universal approach for solving the multi-revolution Lambert's problem
- Fast and accurate approximation algorithms for computing floating point square root
- Optimal approximation of the 1/x function using Chebyshev polynomials and magic constants
- Condense and distill: fast distillation of large floating-point sums via condensation
- On numerical stability of continued fractions
- Validated numerics for algebraic path tracking
- Fast evaluation of real and complex polynomials
- Fast and accurate intersections on a sphere
- Descriptive complexity for neural networks via Boolean networks
- Numerical stability of branched continued fraction expansions of Lauricella-Saran's hypergeometric function F_K ratios
- Formally verified roundoff error bounds on LogSumExp-based computations
- Algorithm 1062: code generation for piecewise Chebyshev approximation
Describes a project that uses
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)
