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

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

Concepts of Proof in Mathematics Philosophy and Computer Science

Concepts of Proof in Mathematics  Philosophy  and Computer Science
Author: Dieter Probst,Peter Schuster
Publisher: Walter de Gruyter GmbH & Co KG
Relase: 2016-07-25
ISBN: 9781501502644
GET BOOK

Computer Arithmetic Scientific Computation and Mathematical Modelling

Computer Arithmetic  Scientific Computation and Mathematical Modelling
Author: Edgar W. Kaucher
Publisher: Unknown
Relase: 1991
ISBN: UOM:39015032425863
GET BOOK

Conference Proceedings

Conference Proceedings
Author: European Microwave Conference
Publisher: Unknown
Relase: 1991
ISBN: 0946821429
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

Logic Mathematics and Computer Science

Logic  Mathematics  and Computer Science
Author: Yves Nievergelt
Publisher: Springer
Relase: 2015-10-13
ISBN: 9781493932238
GET BOOK

14th IEEE Symposium on Computer Arithmetic

14th IEEE Symposium on Computer Arithmetic
Author: Israel Koren,Peter Kornerup
Publisher: IEEE
Relase: 1999
ISBN: 0769501168
GET BOOK

Formal Verification of Floating Point Hardware Design

Formal Verification of Floating Point Hardware Design
Author: David M. Russinoff
Publisher: Springer
Relase: 2018-10-13
ISBN: 9783319955131
GET BOOK

A Proof Environment for Arithmetic with the Omega Rule

A Proof Environment for Arithmetic with the Omega Rule
Author: Siani L. Baker,Alan Smaill,University of Edinburgh. Department of Artificial Intelligence
Publisher: Unknown
Relase: 1993
ISBN: UCSC:32106011980163
GET BOOK

Formal Proofs and Refutations

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

Proof Technology and Computation

Proof Technology and Computation
Author: Helmut Schwichtenberg,Katharina Spies
Publisher: IOS Press
Relase: 2006-01-01
ISBN: 9781586036256
GET BOOK

A Proof of the Formal Correctness of an Instructional System Interpreter

A Proof of the Formal Correctness of an Instructional System Interpreter
Author: Sueli Mendes dos Santos
Publisher: Unknown
Relase: 1974
ISBN: STANFORD:36105025646188
GET BOOK

International Conference on Computer Design

International Conference on Computer Design
Author: Anonim
Publisher: Unknown
Relase: 1995
ISBN: 0818671653
GET BOOK