Computer Arithmetic and Formal Proofs

Computer Arithmetic and Formal Proofs
Author :
Publisher : Elsevier
Total Pages : 328
Release :
ISBN-10 : 9780081011706
ISBN-13 : 0081011709
Rating : 4/5 (06 Downloads)

Book Synopsis Computer Arithmetic and Formal Proofs by : Sylvie Boldo

Download or read book Computer Arithmetic and Formal Proofs written by Sylvie Boldo and published by Elsevier. This book was released on 2017-11-17 with total page 328 pages. Available in PDF, EPUB and Kindle. Book excerpt: Floating-point arithmetic is ubiquitous in modern computing, as it is the tool of choice to approximate real numbers. Due to its limited range and precision, its use can become quite involved and potentially lead to numerous failures. One way to greatly increase confidence in floating-point software is by computer-assisted verification of its correctness proofs. This book provides a comprehensive view of how to formally specify and verify tricky floating-point algorithms with the Coq proof assistant. It describes the Flocq formalization of floating-point arithmetic and some methods to automate theorem proofs. It then presents the specification and verification of various algorithms, from error-free transformations to a numerical scheme for a partial differential equation. The examples cover not only mathematical algorithms but also C programs as well as issues related to compilation. - Describes the notions of specification and weakest precondition computation and their practical use - Shows how to tackle algorithms that extend beyond the realm of simple floating-point arithmetic - Includes real analysis and a case study about numerical analysis


Computer Arithmetic and Formal Proofs Related Books

Computer Arithmetic and Formal Proofs
Language: en
Pages: 328
Authors: Sylvie Boldo
Categories: Computers
Type: BOOK - Published: 2017-11-17 - Publisher: Elsevier

DOWNLOAD EBOOK

Floating-point arithmetic is ubiquitous in modern computing, as it is the tool of choice to approximate real numbers. Due to its limited range and precision, it
Handbook of Floating-Point Arithmetic
Language: en
Pages: 640
Authors: Jean-Michel Muller
Categories: Mathematics
Type: BOOK - Published: 2018-05-02 - Publisher: Birkhäuser

DOWNLOAD EBOOK

Floating-point arithmetic is the most widely used way of implementing real-number arithmetic on modern computers. However, making such an arithmetic reliable an
Intelligent Computer Mathematics
Language: en
Pages: 323
Authors: James H. Davenport
Categories: Computers
Type: BOOK - Published: 2011-07-18 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the joint refereed proceedings of three international events, namely the 18th Symposium on the Integration of Symbolic Computation and Mec
Intelligent Computer Mathematics
Language: en
Pages: 510
Authors: Jacques Carette
Categories: Computers
Type: BOOK - Published: 2009-07-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

As computers and communications technology advance, greater opportunities arise for intelligent mathematical computation. While computer algebra, au- mated dedu
Computer Arithmetic
Language: en
Pages: 474
Authors: Earl E Swartzlander
Categories: Mathematics
Type: BOOK - Published: 2015-02-12 - Publisher: World Scientific

DOWNLOAD EBOOK

Computer Arithmetic Volume III is a compilation of key papers in computer arithmetic on floating-point arithmetic and design. The intent is to show progress, ev