Floating-point arithmetic
From MaRDI portal
Publication:6047500
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
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