eBay |

# Theorem Proving with the Real Numbers by John Harrison (Paperback, 2011)

## Brand newLOWEST PRICE

### Theorem Proving with the Real Numbers (Distinguished Dissertations) by John Harr

AU $151.00Free postage- Brand new condition
- Sold by simplybestprices-10to20dayshipping
- See details for delivery est.

## Nearly newLOWEST PRICE

### USED (LN) Theorem Proving with the Real Numbers (Distinguished Dissertations)

AU $214.95+ AU $7.95 postage- Like new condition
- Sold by ausreseller
- See details for delivery est.

## All listings for this product

## About this product

### Description

- DescriptionThis 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 the real numbers, using a new version of Cantor's method, and the formalization of a significant portion of real analysis. We also describe an advanced derived decision procedure for the 'Tarski subset' of real algebra as well as some more modest but practically useful tools for automating explicit calculations and routine linear arithmetic reasoning. Finally, we consider in more detail two interesting application areas. We discuss the desirability of combining the rigour of theorem provers with the power and convenience of computer algebra systems, and explain a method we have used in practice to achieve this. We then move on to the verification of floating point hardware. After a careful discussion of possible correctness specifications, we report on two case studies, one involving a transcendental function.

### Key Features

- Author(s)John Harrison
- PublisherSpringer London Ltd
- Date of Publication20/11/2011
- LanguageEnglish
- FormatPaperback
- ISBN-101447115937
- ISBN-139781447115939
- SubjectComputing: Professional & Programming
- Series TitleDistinguished Dissertations

### Publication Data

- Place of PublicationEngland
- Country of PublicationUnited Kingdom
- ImprintSpringer London Ltd
- Content Notebiography

### Dimensions

- Weight311 g
- Width156 mm
- Height234 mm
- Spine10 mm

### Editorial Details

- Format DetailsTrade paperback (US)
- Edition StatementSoftcover reprint of the original 1st ed. 1998

## Best-selling in Textbooks

### Australian Medicines Handbook 2016 by Australian Medicines Handbook Pty Ltd (Paperback, 2016)

#### TRENDING PRICE

- AU $204.90New

### Marketing Management: an Asian Perspective by Swee Hoon Ang, Kevin Lane Keller, Siew-Meng Leong, Chin Tiong Tan, Philip Kotler (Paperback, 2013)

#### TRENDING PRICE

- AU $74.66New
- AU $61.69Used

### Human Anatomy & Physiology by Elaine N. Marieb, Katja N. Hoehn (Paperback, 2015)

#### TRENDING PRICE

- AU $94.06New

### Financial Planning by Warren McKeown, Diana J. Beal, Mike Kerry, Marc Olynyk (Paperback, 2014)

#### TRENDING PRICE

- AU $102.20New

### Statics Mechanics of Materials by Russell C. Hibbeler (Paperback, 2014)

#### TRENDING PRICE

- AU $71.40New

## Save on Textbooks

### NEW 3 Days AUS Shigley's Mechanical Engineering Design 10E Richard Budynas 10th

AU $69.90Trending at AU $82.59### Book of Joy by Dalai Lama Hardcover Book

AU $22.44Trending at AU $24.03### Financial Management: Principles and Applications by Sheridan Titman, Arthur...

AU $114.99Trending at AU $120.94### Operations and Process Management by Prof. Nigel Slack

AU $88.13Trending at AU $91.19### Mechanics Of Materials w/Video Code 9E by R.C Hibbeler (ISBN-13: 9789810694364)

AU $73.99Trending at AU $79.01### The Complete Guide to Fasting: Heal Your Body Through Intermittent, Alternate-Da

AU $37.63Trending at AU $50.60### Marketing Management: an Asian Perspective by Swee Hoon Ang, Kevin Lane...

AU $69.89Trending at AU $74.66

This item doesn't belong on this page.

Thanks, we'll look into this.