Handbook of Floating-Point Arithmetic

DOI10.1007/978-0-8176-4705-6zbMath1197.65001OpenAlexW605824955WikidataQ55867217 ScholiaQ55867217MaRDI QIDQ3629031

Nathalie Revol, Claude-Pierre Jeannerod, Guillaume Melquiond, Florent de Dinechin, Jean-Michel Muller, Damien Stehlé, Nicolas Brisebarre, Vincent Lefèvre, Serge Torres

Publication date: 26 May 2009

Full work available at URL: http://cds.cern.ch/record/1315760

zbMATH Keywords

algorithms hardware implementation software implementation floating-point numbers floating-point formats

Mathematics Subject Classification ID

Theory of programming languages (68N15) Theory of compilers and interpreters (68N20) Roundoff error (65G50) Mathematical problems of computer architecture (68M07) General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to computer science (68-00) General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to numerical analysis (65-00) Numerical algorithms for computer arithmetic, etc. (65Y04)

Related Items

Fast computation of multinomial coefficients ⋮ Solving the stationary Navier-Stokes equations by using Taylor meshless method ⋮ Proving tight bounds on univariate expressions with elementary functions in Coq ⋮ Formalization of Double-Word Arithmetic, and Comments on “Tight and Rigorous Error Bounds for Basic Building Blocks of Double-Word Arithmetic” ⋮ First steps towards more numerical reproducibility ⋮ Floating-point arithmetic on the test bench. How are verified numerical solutions calculated? ⋮ 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 ⋮ Variants of the general interval power function ⋮ On the maximum relative error when computing integer powers by iterated multiplications in floating-point arithmetic ⋮ Formal verification of a floating-point expansion renormalization algorithm ⋮ Error bounds on complex floating-point multiplication with an FMA ⋮ Reducing and monitoring round-off error propagation for symplectic implicit Runge-Kutta schemes ⋮ On the Possibility of Increasing the Accuracy of Computations in the Floating-Point Format with Multiple Exponents ⋮ On the numerical stability of algorithmic differentiation ⋮ Numeration and discrete dynamical systems ⋮ ABS: A formally correct software tool for space-efficient symbolic synthesis ⋮ Comparison of Fractional Order Derivatives Computational Accuracy - Right Hand vs Left Hand Definition ⋮ Formally-verified round-off error analysis of Runge-Kutta methods ⋮ Reducing roundoff errors in numerical integration of planetary ephemeris ⋮ Fractional Order Derivative and Integral Computation with a Small Number of Discrete Input Values Using Grünwald–Letnikov Formula ⋮ About accuracy increase of fractional order derivative and integral computations by applying the Grünwald-Letnikov formula ⋮ Unnamed Item ⋮ Some issues related to double rounding ⋮ Fast interval matrix multiplication ⋮ On design and implementation of a generic number type for real algebraic number computations based on expression dags ⋮ Deciding floating-point logic with abstract conflict driven clause learning ⋮ Primitive Floats in Coq ⋮ Deductive verification of floating-point Java programs in KeY ⋮ Runtime abstract interpretation for numerical accuracy and robustness ⋮ 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 ⋮ Accurate Evaluation of Arithmetic Expressions (Invited Talk) ⋮ Impact of Accuracy Optimization on the Convergence of Numerical Iterative Methods ⋮ Efficiency of Reproducible Level 1 BLAS ⋮ Static Analysis of Finite Precision Computations ⋮ Changing variables in Taylor series with applications to PDEs ⋮ Transformation of a PID controller for numerical accuracy ⋮ Numerical validation of compensated summation algorithms with stochastic arithmetic ⋮ Reproducibility strategies for parallel preconditioned conjugate gradient ⋮ CAMPARY: Cuda Multiple Precision Arithmetic Library and Applications ⋮ Efficient Calculations of Faithfully Rounded l ₂ -Norms of n -Vectors ⋮ Error estimation of floating-point summation and dot product ⋮ 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 ⋮ 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