Innocuous Double Rounding of Basic Arithmetic Operations

DOI10.6092/ISSN.1972-5787/4359MaRDI QIDQ5195257zbMATH OpenOpenAlexFDO

Authors Pierre Roux

Publication date 18 September 2019

Full work available at URL https://doaj.org/article/748fef18ca2444d08db615872c085d56

zbMATH Keywords

Coqdouble roundingfloating-point arithmetic

Mathematics Subject Classification ID

Roundoff error (65G50) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Recommendations

• Correctly Rounded Multiplication by Arbitrary Precision Constants
• Performing Arithmetic Operations on Round-to-Nearest Representations
• ROUND-OFF ERRORS IN FLOATING-POINT ADDITIONS
• scientific article; zbMATH DE number 4039133
• Foundations of Exact Rounding
• Faithfully rounded floating-point computations
• Correctly Rounded Arbitrary-Precision Floating-Point Summation
• Some issues related to double rounding
• On the Computation of Correctly Rounded Sums
• Degree-Constrained Network Spanners with Nonconstant Delay

Cited in

(6)

• Some issues related to double rounding
• Simulating Low Precision Floating-Point Arithmetic
• Floating-point arithmetic
• CPFloat: a C library for simulating low-precision arithmetic
• IEEE-754 precision-\(p\) base-\(\beta\) arithmetic implemented in binary
• Arithmetical enhancements of the Kogbetliantz method for the SVD of order two

Describes a project that uses

Uses Software

• Coq
• Flocq

This page was built for publication: Innocuous Double Rounding of Basic Arithmetic Operations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5195257)