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