Computer arithmetic and formal proofs/
Boldo, Sylvie
Computer arithmetic and formal proofs/ Sylvie Boldo - Elsevier: 2017. - 326 p.
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
9781785481123
Floating-point arithmetic
Computer arithmetic and formal proofs/ Sylvie Boldo - Elsevier: 2017. - 326 p.
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
9781785481123
Floating-point arithmetic