Computer Arithmetic and Formal Proofs

  • Author : Sylvie Boldo
  • Publsiher : Elsevier
  • Release : 17 November 2017
  • ISBN : 9780081011706
  • Page : 326 pages
  • Rating : 4/5 from 21 voters

Download or read online book entitled Computer Arithmetic and Formal Proofs written by Sylvie Boldo and published by Elsevier. This book was released on 17 November 2017 with total page 326 pages. Available in PDF, EPUB and Kindle. Get best books that you want by click Get Book Button and Read as many books as you like. 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

Computer Arithmetic and Formal Proofs
Author: Sylvie Boldo,Guillaume Melquiond
Publisher: Elsevier
Relase: 2017-11-17
ISBN: 9780081011706
GET BOOK

Computer Arithmetic and Enclosure Methods

Computer Arithmetic and Enclosure Methods
Author: Lidiya Atanassova,Jurgen Herzberger,Jürgen Herzberger
Publisher: North Holland
Relase: 1992
ISBN: UCAL:B4202574
GET BOOK

Ideas That Created the Future

Ideas That Created the Future
Author: Harry R. Lewis
Publisher: Unknown
Relase: 2021
ISBN: 9780262045308
GET BOOK

Handbook of Floating Point Arithmetic

Handbook of Floating Point Arithmetic
Author: Jean-Michel Muller,Nicolas Brunie,Florent de Dinechin,Claude-Pierre Jeannerod,Mioara Joldes,Vincent Lefèvre,Guillaume Melquiond,Nathalie Revol,Serge Torres
Publisher: Birkhäuser
Relase: 2018-05-02
ISBN: 9783319765266
GET BOOK

Computer Arithmetic

Computer Arithmetic
Author: Earl E Swartzlander,Carl E Lemonds
Publisher: World Scientific
Relase: 2015-02-12
ISBN: 9789814651158
GET BOOK

Conference Proceedings

Conference Proceedings
Author: European Microwave Conference
Publisher: Unknown
Relase: 1991
ISBN: 0946821429
GET BOOK

Intelligent Computer Mathematics

Intelligent Computer Mathematics
Author: James H. Davenport,William M. Farmer,Florian Rabe,Josef Urban
Publisher: Springer
Relase: 2011-07-18
ISBN: 9783642226731
GET BOOK

A Computer System for Checking Proofs

A Computer System for Checking Proofs
Author: Scott D. Johnson
Publisher: Unknown
Relase: 1982
ISBN: UCAL:B3678290
GET BOOK

Nieuw Archief Voor Wiskunde

Nieuw Archief Voor Wiskunde
Author: Anonim
Publisher: Unknown
Relase: 1996
ISBN: UCSD:31822023342652
GET BOOK

Formal Methods in Computer aided Design

Formal Methods in Computer aided Design
Author: Anonim
Publisher: Unknown
Relase: 2002
ISBN: UOM:39015047929420
GET BOOK

Tutorial Programming Language Design

Tutorial  Programming Language Design
Author: Anthony I. Wasserman
Publisher: Unknown
Relase: 1980
ISBN: UOM:39015009806129
GET BOOK

Report on the Formal Specification and Partial Verification of the VIPER Microprocessor

Report on the Formal Specification and Partial Verification of the VIPER Microprocessor
Author: Bishop Brock
Publisher: Unknown
Relase: 1990
ISBN: NASA:31769000686652
GET BOOK

3rd Symposium on Computer Arithmetic November 19 20 1975 Southern Methodist University Dallas Texas

3rd Symposium on Computer Arithmetic  November 19 20  1975  Southern Methodist University  Dallas  Texas
Author: Anonim
Publisher: Unknown
Relase: 1975
ISBN: UCSD:31822000219451
GET BOOK

Formal Proofs and Refutations

Formal Proofs and Refutations
Author: Jesse Alama
Publisher: Unknown
Relase: 2009
ISBN: STANFORD:36105210269358
GET BOOK

Proceedings

Proceedings
Author: Anonim
Publisher: Unknown
Relase: 1972
ISBN: STANFORD:36105007202984
GET BOOK