Computer arithmetic and formal proofs/ Sylvie Boldo
Material type: TextPublication details: Elsevier: 2017Description: 326 pISBN: 9781785481123Subject(s): Floating-point arithmeticOnline resources: Click here to access online
Contents:
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
Item type | Current library | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|
e-Books | Central Library, Sikkim University | Not for loan | E-1005 |
Total holds: 0
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
There are no comments on this title.