Boldo, Sylvie <br/><br/>
Computer arithmetic and formal proofs/ 
Sylvie Boldo 
 -  Elsevier:  2017. 
 - 326 p. 
<br/><br/>1 - Floating-Point Arithmetic<br/><br/>2 - The Coq System<br/><br/>3 - Formalization of Formats and Basic Operators<br/><br/>4 - Automated Methods<br/><br/>5 - Error-Free Computations and Applications<br/><br/>6 - Example Proofs of Advanced Operators<br/><br/>7 - Compilation of FP Programs<br/><br/>8 - Deductive Program Verification<br/><br/>9 - Real and Numerical Analysis<br/> 
<br/><br/><label>ISBN: </label>9781785481123 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Floating-point arithmetic