Formalization of Double-Word Arithmetic, and Comments on “Tight and Rigorous Error Bounds for Basic Building Blocks of Double-Word Arithmetic”
From MaRDI portal
(Redirected from Publication:5066604)
Cites work
- 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
- Accurate Sum and Dot Product
- Adaptive precision floating-point arithmetic and fast robust geometric predicates
- CAMPARY: CUDA multiple precision arithmetic library and applications
- Computer arithmetic and formal proofs. Verifying floating-point algorithms with the Coq system
- Design, implementation and testing of extended and mixed precision BLAS
- Formalization of real analysis: a survey of proof assistants and libraries
- Handbook of Floating-Point Arithmetic
- scientific article; zbMATH DE number 1033192 (Why is no real title available?)
- scientific article; zbMATH DE number 1863384 (Why is no real title available?)
- On relative errors of floating-point operations: optimal bounds and applications
- Quasi double-precision in floating point addition
- Scalar fused multiply-add instructions produce floating-point matrix arithmetic provably accurate to the penultimate digit
- Tight and Rigorous Error Bounds for Basic Building Blocks of Double-Word Arithmetic
- Verified compilation of floating-point computations
Cited in
(3)
This page was built for publication: Formalization of Double-Word Arithmetic, and Comments on “Tight and Rigorous Error Bounds for Basic Building Blocks of Double-Word Arithmetic”
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5066604)
