Theorem Proving with the Real Numbers

by John Harrison

Book Overview

This book discusses the use of the real numbers in theorem proving. Typ- ically, theorem provers only support a few 'discrete' datatypes such as the natural numbers. However the availability of the real numbers opens up many interesting and important application areas, such as the verification of float- ing point hardware and hybrid systems. It also allows the formalization of many more branches of classical mathematics, which is particularly relevant...

• Format: Paperback
• Language: English
• ISBN: 1447115937
• ISBN13: 9781447115939
• Release Date: November 2011
• Publisher: Springer
• Length: 186 Pages
• Weight: 0.63 lbs.
• Dimensions: 0.4" x 6.1" x 9.2"