scientific article; zbMATH DE number 6740638
From MaRDI portal
Publication:5274886
zbMath1385.68001MaRDI QIDQ5274886
Guillaume Melquiond, Sylvie Boldo
Publication date: 6 July 2017
Full work available at URL: https://www.sciencedirect.com/science/book/9781785481123
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Roundoff error (65G50) Specification and verification (program logics, model checking, etc.) (68Q60) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Numerical algorithms for computer arithmetic, etc. (65Y04)
Related Items
Exploiting verified neural networks via floating point numerical error ⋮ Formalization of Double-Word Arithmetic, and Comments on “Tight and Rigorous Error Bounds for Basic Building Blocks of Double-Word Arithmetic” ⋮ Unnamed Item ⋮ Floating-point arithmetic ⋮ Recursive solution of initial value problems with temporal discretization ⋮ Formally-verified round-off error analysis of Runge-Kutta methods ⋮ Finding normal binary floating-point factors efficiently ⋮ A certificate-based approach to formally verified approximations ⋮ Primitive Floats in Coq ⋮ Quantitative continuity and Computable Analysis in Coq
Uses Software
