TY  - BOOK
AU  - Boldo, Sylvie
TI  - Computer arithmetic and formal proofs
SN  - 9781785481123
PY  - 2017///
PB  - Elsevier
KW  - Floating-point arithmetic
N1  - 1 - Floating-Point Arithmetic

2 - The Coq System

3 - Formalization of Formats and Basic Operators

4 - Automated Methods

5 - Error-Free Computations and Applications

6 - Example Proofs of Advanced Operators

7 - Compilation of FP Programs

8 - Deductive Program Verification

9 - Real and Numerical Analysis

UR  - https://www.sciencedirect.com/science/book/9781785481123
ER  -