Floating-point algorithms and formal proofs : a didactic tour with Coq /: a didactic tour with Coq. (2016)

• Record Type: Book
• Further Information: Note: Sylvie Boldo, Guillaume Melquiond.
• Authors: Boldo, Sylvie; Melquiond, Guillaume
• Contents: Floating-Point Arithmetic The Coq System Formalization of Formats and Basic Operators Automated Methods Error-Free Computations and Applications Example Proofs of Advanced Operators Compilation of FP Programs Deductive Program Verification Real and Numerical Analysis
• Publisher Details: Amsterdam : Elsevier
• Publication Date: 2016
• Extent: 1 online resource
• Subjects: 511.36; Floating-point arithmetic; Proof theory; Algorithms
• Languages: English
• ISBNs: 9780081011706
• Notes: Note: Description based on CIP data; resource not viewed.
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.