Floating-point arithmetic
From MaRDI portal
Cites work
- A Class of Fast and Accurate Summation Algorithms
- A floating-point technique for extending the available precision
- A mechanically checked proof of the AMD5/sub K/86/sup TM/ floating-point division program
- A New Approach to Probabilistic Rounding Error Analysis
- A note on complex division
- A note on Dekker's FastTwoSum algorithm
- A radix-independent error analysis of the Cornea-Harrison-Tang method
- A statistical study of the accuracy of floating point number systems
- Accuracy and Stability of Numerical Algorithms
- Accurate Floating-Point Summation Part I: Faithful Rounding
- Accurate Sum and Dot Product
- Accurate summation, dot product and polynomial evaluation in complex floating point arithmetic
- Accurate, validated and fast evaluation of elementary symmetric functions and its application
- Adaptive precision floating-point arithmetic and fast robust geometric predicates
- Algorithm 1014
- Algorithms for efficient reproducible floating point summation
- Algorithms for Triple-Word Arithmetic
- An axiomatic approach to rounded computations
- Automated empirical optimizations of software and the ATLAS project
- CAMPARY: CUDA multiple precision arithmetic library and applications
- Certifying the Floating-Point Implementation of an Elementary Function Using Gappa
- Computer arithmetic and formal proofs. Verifying floating-point algorithms with the Coq system
- Computer arithmetic and validity. Theory, implementation, and applications
- Computing predecessor and successor in rounding to nearest
- Correction d'une somme en arithmétique à virgule flottante
- Correctly Rounded Multiplication by Arbitrary Precision Constants
- Design, implementation and testing of extended and mixed precision BLAS
- Efficient and accurate computation of upper bounds of approximation errors
- Efficient scaling for complex division
- Elementary functions. Algorithms and implementation
- Emulating Round-to-Nearest Ties-to-Zero “Augmented” Floating-Point Operations Using Round-to-Nearest Ties-to-Even Arithmetic
- Emulation of a FMA and Correctly Rounded Sums: Proved Algorithms Using Rounding to Odd
- Error Analysis of Direct Methods of Matrix Inversion
- Error analysis of floating-point computation
- Error analysis of some operations involved in the Cooley-Tukey fast Fourier transform
- Error bounds on complex floating-point multiplication
- Error bounds on complex floating-point multiplication with an FMA
- Error estimates for the summation of real numbers with application to floating-point summation
- Error estimation of floating-point summation and dot product
- Error-free transformations of matrix multiplication by using fast routines of matrix multiplication and its applications
- Exact and Approximated Error of the FMA
- Exponential Sums and Correctly-Rounded Functions
- Faithfully rounded floating-point computations
- Fast and accurate floating point summation with application to computational geometry
- Fast floating-point filters for robust predicates
- Floating-point arithmetic with 84-bit numbers
- Formalization of Double-Word Arithmetic, and Comments on “Tight and Rigorous Error Bounds for Basic Building Blocks of Double-Word Arithmetic”
- Further analysis of Kahan's algorithm for the accurate computation of \(2\times 2\) determinants
- Handbook of floating-point arithmetic
- How do you compute the midpoint of an interval?
- scientific article; zbMATH DE number 1694758 (Why is no real title available?)
- scientific article; zbMATH DE number 3649911 (Why is no real title available?)
- scientific article; zbMATH DE number 3885831 (Why is no real title available?)
- scientific article; zbMATH DE number 3816925 (Why is no real title available?)
- scientific article; zbMATH DE number 3735125 (Why is no real title available?)
- scientific article; zbMATH DE number 3463092 (Why is no real title available?)
- scientific article; zbMATH DE number 1024452 (Why is no real title available?)
- scientific article; zbMATH DE number 1052006 (Why is no real title available?)
- scientific article; zbMATH DE number 3996993 (Why is no real title available?)
- scientific article; zbMATH DE number 1820639 (Why is no real title available?)
- scientific article; zbMATH DE number 1863384 (Why is no real title available?)
- scientific article; zbMATH DE number 3336306 (Why is no real title available?)
- scientific article; zbMATH DE number 3408799 (Why is no real title available?)
- scientific article; zbMATH DE number 3064499 (Why is no real title available?)
- scientific article; zbMATH DE number 3069496 (Why is no real title available?)
- IEEE754 Precision- k base-β Arithmetic Inherited by Precision- m Base-β Arithmetic for k < m
- Implementing complex elementary functions using exception handling
- In-and-out conversions
- Innocuous Double Rounding of Basic Arithmetic Operations
- Interval Methods for Systems of Equations
- Introduction to Interval Analysis
- Kahan's Algorithm for a Correct Discriminant Computation at Last Formally Proven
- Mixed precision algorithms in numerical linear algebra
- Mixed-Precision Cholesky QR Factorization and Its Case Studies on Multicore CPU with Multiple GPUs
- Motivations for an arbitrary precision interval arithmetic and the MPFI library
- MPFR
- Note on triple-precision floating-point arithmetic with 132-bit numbers
- Numerical computing with IEEE floating point arithmetic. Incl. one theorem, one rule of thumb, and one hundred and one exercises
- NumGfun: a package for numerical and analytic computation with D-finite functions
- On a compensated Ehrlich-Aberth method for the accurate computation of all polynomial roots
- On accurate floating-point summation
- On relative errors of floating-point operations: optimal bounds and applications
- On Taking the Square Root of a Complex Number
- On the Computation of Correctly Rounded Sums
- On the error of computing ab+cd using Cornea, Harrison and Tang's method
- On the Precision Attainable with Various Floating-Point Number Systems
- On the robustness of the 2Sum and Fast2Sum algorithms
- Parallel Reproducible Summation
- Pitfalls of a Full Floating-Point Proof: Example on the Formal Proof of the Veltkamp/Dekker Algorithms
- Probabilistic Error Analysis for Inner Products
- Probabilistic Rounding Error Analysis of Householder QR Factorization
- Quasi double-precision in floating point addition
- Reducing floating point error in dot product using the superblock family of algorithms
- Reducing truncation errors by programming
- Reprint of a Note on Rounding-Off Errors
- Rounding error analysis of linear recurrences using generating series
- Rundungsfehleranalyse einiger Verfahren zur Summation endlicher Summen
- Scalar fused multiply-add instructions produce floating-point matrix arithmetic provably accurate to the penultimate digit
- Sharp error bounds for complex floating-point inversion
- Sharp estimates for perturbation errors in summations
- Sharp ULP rounding error bound for the hypotenuse function
- Sharper probabilistic backward error analysis for basic linear algebra kernels with random data
- Simulating Low Precision Floating-Point Arithmetic
- Sollya: an environment for the development of numerical codes
- Stochastic rounding and its probabilistic backward error analysis
- The Accuracy of Floating Point Summation
- The Early Computers of Konrad Zuse, 1935 to 1945
- The end of error: Unum computing
- The mathematical-function computation handbook. Programming using the MathCW portable software library
- The mathematics of floating-point arithmetic
- The relative accuracy of \(\mathtt{(x+y)*(x-y)}\)
- Tight and Rigorous Error Bounds for Basic Building Blocks of Double-Word Arithmetic
- Toward Accurate and Fast Summation
- Ultimately fast accurate summation
- Underflow and the Reliability of Numerical Software
- Verification methods: rigorous results using floating-point arithmetic
Cited in
(15)- Computing correctly rounded integer powers in floating-point arithmetic
- Multiprecision floating point addition
- Handbook of Floating-Point Arithmetic
- Overflow, Underflow, and Severe Loss of Significance in Floating-Point Addition and Subtraction
- scientific article; zbMATH DE number 804654 (Why is no real title available?)
- On Floating-Point Summation
- FloatX
- Floating-Point LLL: Theoretical and Practical Aspects
- Binary Integer Decimal-Based Floating-Point Multiplication
- Expressive power of ReLU and step networks under floating-point operations
- Challenges in automatic differentiation and numerical integration in physics-informed neural networks modelling
- Emulation of the FMA and the correctly-rounded sum of three numbers in rounding-to-nearest floating-point arithmetic
- Fast and accurate approximation algorithms for computing floating point square root
- Formally verified roundoff error bounds on LogSumExp-based computations
- A modular framework for the backward error analysis of GMRES
This page was built for publication: Floating-point arithmetic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6047500)
