Stock image for illustration purposes only - book cover, edition or condition may vary.
Theorem Proving with the Real Numbers
John Harrison
€ 121.44
FREE Delivery in Ireland
Description for Theorem Proving with the Real Numbers
Paperback. Series: Distinguished Dissertations. Num Pages: 186 pages, biography. BIC Classification: UMB; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 10. Weight in Grams: 311.
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 for attempts to inject more rigour into computer algebra systems. Our work is conducted in a version of the HOL theorem prover. We de scribe the rigorous definitional construction of ... Read more
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 for attempts to inject more rigour into computer algebra systems. Our work is conducted in a version of the HOL theorem prover. We de scribe the rigorous definitional construction of ... Read more
Product Details
Format
Paperback
Publication date
2011
Publisher
Springer London Ltd United Kingdom
Number of pages
186
Condition
New
Series
Distinguished Dissertations
Number of Pages
186
Place of Publication
England, United Kingdom
ISBN
9781447115939
SKU
V9781447115939
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Theorem Proving with the Real Numbers