Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Theorem Proving with the Real Numbers

Theorem Proving with the Real Numbers

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9781447115915
Condition
New
Product Description

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 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.

Available Colors
Available Sizes
1 Offer Price Range: $84.99 - $84.99
BEST PRICE

Single Product Purchase

$76.50
@ Link.springer.com with extra coupon Get Coupon & BUY

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
Contact Store Call Store Contact Support
$84.99 $84.99

10% OFF
This deals requires coupon Get Code Here
$76.50
See Site In stock Visit Store

Similar Products

Ein Beitrag zur Geschichte der Grogasmaschine

$84.99

Primary Wood Processing

$149.00

Chinese Environmental Governance

$39.99

Archaische Moderne

$39.99

Computer aus Nutzerperspektive

$59.99

LEP - The Lord of the Collider Rings at CERN 1980-2000

$59.99

Die Lungenphthise

$59.99

Understanding Terrestrial Microbial Communities

$169.99

Value-Focused Business Process Engineering : a Systems Approach

$39.99

Prsenzen 2.0

$49.99

Motivation and Intentionality in a Computer Simulation Model of Paranoia

$54.99

Neurobiology of Aggression

$249.99

Schriften der Arbeitsgemeinschaft Deutscher Betriebsingenieure

$44.99

The Theatre of Joseph Conrad

$39.99

Die Sprach- und Stimmstrungen im Kindesalter

$84.99

Learn About: Animal Coverings: Feathers

$5.24

Festkrperanalysen mit dem Massenspektrometer

$59.99

Der Antrieb von morgen 2019

$129.99

Gravitational Measurements, Fundamental Metrology and Constants

$219.99

India and Africa's Partnership

$54.99

Einfhrung in die deutsche Literatur des 19. Jahrhunderts

$69.95

Wetter- und Meereskunde fr Seefahrer

$59.99

The Law of Causality and Its Limits

$109.99

Chinas Vocational Education Reform

$119.00

Handbuch Elektrofilter

$34.99

Cardio-Oncology

$84.99

Ear Reconstruction

$84.99

ber Art- und Altersmerkmale der Weiblichen Geschlechtsorgane Unserer Haussugetiere

$59.99

Werkzeugmaschinen Fertigungssysteme 1

$84.99

Geomagnetic Observatory and Survey Practice

$109.99

Responsible Business Operations

$129.00

Atmospheric Trace Constituents

$109.99

Zero-Sum Discrete-Time Markov Games with Unknown Disturbance Distribution

$39.99

Dreamers

$5.96

Total Revenue Management (TRM)

$49.99

Affective Moments in the Films of Martel, Carri, and Puenzo

$99.99

Jenseits des Scheiterns

$64.99

Enantioselective Organocatalyzed Reactions I

$129.00

Language Choice in a Nation Under Transition

$109.99

Aktuelle Pflegetechniken im OP

$59.99