Handbook of floating-point arithmetic
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)
- 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
- Numerical computing with IEEE floating point arithmetic. Incl. one theorem, one rule of thumb, and one hundred and one exercises
- 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
- Computation of the unit in the first place (ufp) and the unit in the last place (ulp) in precision-\(p\) base \(\beta\)
- Accurate calculation of Euclidean norms using double-word arithmetic
- 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 and accurate computation of the Euclidean norm of a vector
- Fast evaluation and root finding for polynomials with floating-point coefficients
- Enabling floating-point arithmetic in the Coq proof assistant
- Matrix Multiplication in Multiword Arithmetic: Error Analysis and Application to GPU Tensor Cores
- Compensated summation and dot product algorithms for floating-point vectors on parallel architectures: error bounds, implementation and application in the Krylov subspace methods
- Matrices with tunable infinity-norm condition number and no need for pivoting in LU factorization
- 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)
- Enclosing Chebyshev expansions in linear time
- A precision- and range-independent tool for testing floating-point arithmetic II
- Stochastic rounding and its probabilistic backward error analysis
- The mathematics of floating-point arithmetic
- scientific article; zbMATH DE number 4182703 (Why is no real title available?)
- GPU accelerated Newton for Taylor series solutions of polynomial homotopies in multiple double precision
- On recurrences converging to the wrong limit in finite precision and some new examples
- Expressive power of ReLU and step networks under floating-point operations
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)
