Handbook of Floating-Point Arithmetic
From MaRDI portal
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) 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)
Recommendations
- Handbook of floating-point arithmetic
- The mathematics of floating-point arithmetic
- Floating-point arithmetic
- Book review of: Jean-Michel Muller et al., Handbook of floating-point arithmetic
- Floating point and composite arithmetics
- Publication:3033331
- Numerical investigation of floating-point arithmetic
- Arithmetic Algorithms for Extended Precision Using Floating-Point Expansions
- scientific article; zbMATH DE number 3864501
- Floating-Point LLL: Theoretical and Practical Aspects
Cited in
(67)- Numerical computing with IEEE floating point arithmetic. Incl. one theorem, one rule of thumb, and one hundred and one exercises
- Fast computation of multinomial coefficients
- Reducing roundoff errors in numerical integration of planetary ephemeris
- A Fixed-Point Construction of the Elementary Transcendental Functions
- Solving large-scale problems by Taylor meshless method
- Some issues related to double rounding
- On the Possibility of Increasing the Accuracy of Computations in the Floating-Point Format with Multiple Exponents
- A constructive criticism of the C/C++ proposal for complex arithmetic
- Numeration and discrete dynamical systems
- On the numerical stability of algorithmic differentiation
- Runtime abstract interpretation for numerical accuracy and robustness
- Benefits from using mixed precision computations in the ELPA-AEO and ESSEX-II eigensolver projects
- Lower bound proof for the size of BDDs representing a shifted addition
- Numerical validation of compensated algorithms with stochastic arithmetic
- Floating point and composite arithmetics
- Fast calculation of inverse square root with the use of magic constant -- analytical approach
- Transformation of a PID controller for numerical accuracy
- Formally-verified round-off error analysis of Runge-Kutta methods
- Deductive verification of floating-point Java programs in KeY
- Efficiency of reproducible level 1 BLAS
- Deciding floating-point logic with abstract conflict driven clause learning
- Impact of accuracy optimization on the convergence of numerical iterative methods
- Solving the stationary Navier-Stokes equations by using Taylor meshless method
- Primitive Floats in Coq
- Fractional Order Derivative and Integral Computation with a Small Number of Discrete Input Values Using Grünwald–Letnikov Formula
- Faithfully rounded floating-point computations
- On the maximum relative error when computing integer powers by iterated multiplications in floating-point arithmetic
- scientific article; zbMATH DE number 1542842 (Why is no real title available?)
- Algorithm 1029: encapsulated error, a direct approach to evaluate floating-point accuracy
- Error estimation of floating-point summation and dot product
- Computer arithmetic and formal proofs. Verifying floating-point algorithms with the Coq system
- Fast interval matrix multiplication
- Static analysis of finite precision computations
- Verified compilation of floating-point computations
- Handbook of floating-point arithmetic
- Variants of the general interval power function
- Elementary functions. Algorithms and implementation
- Numerical validation of compensated summation algorithms with stochastic arithmetic
- Accurate pairwise convolutions of non-negative vectors via FFT
- About accuracy increase of fractional order derivative and integral computations by applying the Grünwald-Letnikov formula
- Reproducibility strategies for parallel preconditioned conjugate gradient
- Proving tight bounds on univariate expressions with elementary functions in Coq
- Floating-point arithmetic on the test bench. How are verified numerical solutions calculated?
- New integration methods for perturbed ODEs based on symplectic implicit Runge-Kutta schemes with application to solar system simulations
- Reducing and monitoring round-off error propagation for symplectic implicit Runge-Kutta schemes
- Accurate evaluation of arithmetic expressions (invited talk)
- Efficient implementation of symplectic implicit Runge-Kutta schemes with simplified Newton iterations
- Efficient calculations of faithfully rounded l₂-norms of n-vectors
- First steps towards more numerical reproducibility
- Drawing random floating-point numbers from an interval
- A precision- and range-independent tool for testing floating-point arithmetric I
- A precision- and range-independent tool for testing floating-point arithmetic II
- Changing variables in Taylor series with applications to PDEs
- Formal verification of a floating-point expansion renormalization algorithm
- The mathematics of floating-point arithmetic
- Hammering Floating-Point Arithmetic
- On design and implementation of a generic number type for real algebraic number computations based on expression dags
- Formally verified certificate checkers for hardest-to-round computation
- Dyadic floating point
- Error bounds on complex floating-point multiplication with an FMA
- CAMPARY: CUDA multiple precision arithmetic library and applications
- High-precision arithmetic in mathematical physics
- Comparison of fractional order derivatives computational accuracy -- right hand vs left hand definition
- ABS: A formally correct software tool for space-efficient symbolic synthesis
- Formalization of Double-Word Arithmetic, and Comments on “Tight and Rigorous Error Bounds for Basic Building Blocks of Double-Word Arithmetic”
- The mathematical-function computation handbook. Programming using the MathCW portable software library
- A robust and scalable implementation of the Parks-McClellan algorithm for designing FIR filters
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 Q3629031)
