Handbook of Floating-Point Arithmetic

DOI10.1007/978-0-8176-4705-6zbMATH Open1197.65001DBLPbooks/daglib/0027236OpenAlexW605824955WikidataQ55867217 ScholiaQ55867217MaRDI QIDQ3629031FDOQ3629031

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

Publication date: 26 May 2009

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

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

zbMATH Keywords

algorithmshardware implementationsoftware implementationfloating-point numbersfloating-point formats

Mathematics Subject Classification ID

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)

Cited In (65)

• Solving large-scale problems by Taylor meshless method
• Formally-verified round-off error analysis of Runge-Kutta methods
• Primitive Floats in Coq
• Algorithm 1029: encapsulated error, a direct approach to evaluate floating-point accuracy
• Drawing random floating-point numbers from an interval
• Hammering Floating-Point Arithmetic
• ABS: A formally correct software tool for space-efficient symbolic synthesis
• Fast computation of multinomial coefficients
• On the Possibility of Increasing the Accuracy of Computations in the Floating-Point Format with Multiple Exponents
• Some issues related to double rounding
• A constructive criticism of the C/C++ proposal for complex arithmetic
• Runtime abstract interpretation for numerical accuracy and robustness
• Benefits from using mixed precision computations in the ELPA-AEO and ESSEX-II eigensolver projects
• Numeration and discrete dynamical systems
• On the numerical stability of algorithmic differentiation
• 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
• Deductive verification of floating-point Java programs in KeY
• Efficiency of reproducible level 1 BLAS
• Impact of accuracy optimization on the convergence of numerical iterative methods
• Fractional Order Derivative and Integral Computation with a Small Number of Discrete Input Values Using Grünwald–Letnikov Formula
• Deciding floating-point logic with abstract conflict driven clause learning
• Faithfully rounded floating-point computations
• Solving the stationary Navier-Stokes equations by using Taylor meshless method
• On the maximum relative error when computing integer powers by iterated multiplications in floating-point arithmetic
• Title not available (Why is that?)
• Computer arithmetic and formal proofs. Verifying floating-point algorithms with the Coq system
• Static analysis of finite precision computations
• Error estimation of floating-point summation and dot product
• Fast interval matrix multiplication
• Handbook of floating-point arithmetic
• Verified compilation of floating-point computations
• Elementary functions. Algorithms and implementation
• Variants of the general interval power function
• 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
• Accurate evaluation of arithmetic expressions (invited talk)
• 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
• Efficient implementation of symplectic implicit Runge-Kutta schemes with simplified Newton iterations
• First steps towards more numerical reproducibility
• Efficient calculations of faithfully rounded \(l_2\)-norms of \(n\)-vectors
• 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
• The mathematics of floating-point arithmetic
• Formal verification of a floating-point expansion renormalization algorithm
• 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
• Comparison of fractional order derivatives computational accuracy -- right hand vs left hand definition
• CAMPARY: CUDA multiple precision arithmetic library and applications
• High-precision arithmetic in mathematical physics
• Formalization of Double-Word Arithmetic, and Comments on “Tight and Rigorous Error Bounds for Basic Building Blocks of Double-Word Arithmetic”
• A robust and scalable implementation of the Parks-McClellan algorithm for designing FIR filters
• The mathematical-function computation handbook. Programming using the MathCW portable software library
• Reducing roundoff errors in numerical integration of planetary ephemeris
• Numerical computing with IEEE floating point arithmetic. Incl. one theorem, one rule of thumb, and one hundred and one exercises

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)