Floating-point arithmetic

DOI10.1017/s0962492922000101OpenAlexW4376144198MaRDI QIDQ6047500

Claude-Pierre Jeannerod, Guillaume Melquiond, Jean-Michel Muller, Sylvie Boldo

Publication date: 12 September 2023

Published in: Acta Numerica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0962492922000101

Mathematics Subject Classification ID

Roundoff error (65G50) Mathematical problems of computer architecture (68M07) Numerical analysis (65-XX) Numerical algorithms for computer arithmetic, etc. (65Y04)

Cites Work

• On the Precision Attainable with Various Floating-Point Number Systems
• Accurate Sum and Dot Product
• Floating-point arithmetic with 84-bit numbers
• Reducing truncation errors by programming
• Sollya: An Environment for the Development of Numerical Codes
• Stochastic Rounding and Its Probabilistic Backward Error Analysis
• Toward Accurate and Fast Summation
• Mixed precision algorithms in numerical linear algebra
• Computer arithmetic and validity. Theory, implementation, and applications
• Automated empirical optimizations of software and the ATLAS project
• Fast floating-point filters for robust predicates
• Probabilistic Rounding Error Analysis of Householder QR Factorization
• Rounding error analysis of linear recurrences using generating series
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Reducing Floating Point Error in Dot Product Using the Superblock Family of Algorithms
• Sharp error bounds for complex floating-point inversion
• Efficient and accurate computation of upper bounds of approximation errors
• Error-free transformations of matrix multiplication by using fast routines of matrix multiplication and its applications
• Accurate, validated and fast evaluation of elementary symmetric functions and its application
• Accurate summation, dot product and polynomial evaluation in complex floating point arithmetic
• Error estimation of floating-point summation and dot product
• Error analysis of floating-point computation
• A note on Dekker's FastTwoSum algorithm
• Adaptive precision floating-point arithmetic and fast robust geometric predicates
• The relative accuracy of \(\mathtt{(x+y)*(x-y)}\)
• Fast and accurate floating point summation with application to computational geometry
• Computing predecessor and successor in rounding to nearest
• Error estimates for the summation of real numbers with application to floating-point summation
• A floating-point technique for extending the available precision
• An axiomatic approach to rounded computations
• Correction d'une somme en arithmétique à virgule flottante
• Motivations for an arbitrary precision interval arithmetic and the MPFI library
• On a compensated Ehrlich-Aberth method for the accurate computation of all polynomial roots
• Numerical Computing with IEEE Floating Point Arithmetic
• CAMPARY: Cuda Multiple Precision Arithmetic Library and Applications
• Verification methods: Rigorous results using floating-point arithmetic
• NumGfun
• Error bounds on complex floating-point multiplication with an FMA
• Parallel Reproducible Summation
• The Accuracy of Floating Point Summation
• Ultimately Fast Accurate Summation
• IEEE754 Precision- k base-β Arithmetic Inherited by Precision- m Base-β Arithmetic for k < m
• Elementary Functions
• A statistical study of the accuracy of floating point number systems
• On Taking the Square Root of a Complex Number
• Emulating Round-to-Nearest Ties-to-Zero “Augmented” Floating-Point Operations Using Round-to-Nearest Ties-to-Even Arithmetic
• Error bounds on complex floating-point multiplication
• MPFR
• Introduction to Interval Analysis
• Pitfalls of a Full Floating-Point Proof: Example on the Formal Proof of the Veltkamp/Dekker Algorithms
• Underflow and the Reliability of Numerical Software
• A note on complex division
• Error Analysis of Direct Methods of Matrix Inversion
• Interval Methods for Systems of Equations
• Sharp ULP rounding error bound for the hypotenuse function
• Implementing complex elementary functions using exception handling
• Exponential Sums and Correctly-Rounded Functions
• A mechanically checked proof of the AMD5/sub K/86/sup TM/ floating-point division program
• On the Robustness of the 2Sum and Fast2Sum Algorithms
• Tight and Rigorous Error Bounds for Basic Building Blocks of Double-Word Arithmetic
• Correctly Rounded Multiplication by Arbitrary Precision Constants
• Emulation of a FMA and Correctly Rounded Sums: Proved Algorithms Using Rounding to Odd
• On relative errors of floating-point operations: Optimal bounds and applications
• The Mathematical-Function Computation Handbook
• Handbook of Floating-Point Arithmetic
• Sharp estimates for perturbation errors in summations
• The Early Computers of Konrad Zuse, 1935 to 1945
• Accuracy and Stability of Numerical Algorithms
• Kahan's Algorithm for a Correct Discriminant Computation at Last Formally Proven
• Algorithm 1014
• Formalization of Double-Word Arithmetic, and Comments on “Tight and Rigorous Error Bounds for Basic Building Blocks of Double-Word Arithmetic”
• A Class of Fast and Accurate Summation Algorithms
• Sharper Probabilistic Backward Error Analysis for Basic Linear Algebra Kernels with Random Data
• Error Analysis of Some Operations Involved in the Cooley-Tukey Fast Fourier Transform
• Faithfully Rounded Floating-point Computations
• Algorithms for Efficient Reproducible Floating Point Summation
• Probabilistic Error Analysis for Inner Products
• Rundungsfehleranalyse einiger Verfahren zur Summation endlicher Summen
• Accurate Floating-Point Summation Part I: Faithful Rounding
• Innocuous Double Rounding of Basic Arithmetic Operations
• Algorithms for Triple-Word Arithmetic
• A New Approach to Probabilistic Rounding Error Analysis
• Simulating Low Precision Floating-Point Arithmetic
• Mixed-Precision Cholesky QR Factorization and Its Case Studies on Multicore CPU with Multiple GPUs
• On the Error of Computing ab + cd using Cornea, Harrison and Tang's Method
• A Radix-Independent Error Analysis of the Cornea-Harrison-Tang Method
• On the Computation of Correctly Rounded Sums
• Exact and Approximated Error of the FMA
• Certifying the Floating-Point Implementation of an Elementary Function Using Gappa
• Further analysis of Kahan’s algorithm for the accurate computation of $2\times 2$ determinants
• Note on triple-precision floating-point arithmetic with 132-bit numbers
• Quasi double-precision in floating point addition
• Scalar fused multiply-add instructions produce floating-point matrix arithmetic provably accurate to the penultimate digit
• Efficient scaling for complex division
• Design, implementation and testing of extended and mixed precision BLAS
• How do you compute the midpoint of an interval?
• In-and-out conversions
• Reprint of a Note on Rounding-Off Errors
• On accurate floating-point summation