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

$84.99
@ Link.springer.com     BUY Now

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

$84.99
See Site In stock Visit Store

Similar Products

The Dissipation of Electromagnetic Waves in Plasmas

$39.99

Japanese Consumer Dynamics

$54.99

Transcultural Nationalism in Hispano-Filipino Literature

$54.99

Informatics and the Foundations of Legal Reasoning

$219.99

Groups of Homotopy Classes

$39.99

Physics of Oscillations and Waves

$64.99

Smart Trends in Computing and Communications

$219.99

Stochastic Games And Related Topics

$129.00

Handlungsfhigkeit von geduldeten Flchtlingen

$39.99

Biopsy Pathology of Melanocytic Disorders

$54.99

Nordic Consumer Culture

$179.99

Imaging of the Knee

$74.99

Sustainable Development of the Agrarian Economy Based on Digital Technologies and Smart Innovations

$279.99

Mathematik im Mittelalter

$49.99

Reactions on Polymers

$169.99

VLSI Design

$54.99

Patrons and Artists in the Italian Renaissance

$74.99

Steppingstones Toward an Ethics for Fellow Existers

$129.00

Management of Benign Prostatic Hypertrophy

$109.99

Mobile Desires

$54.99

Water Governance and Management in India

$69.99

Fractal Surfaces

$219.99

Restructuring Eastern Germany

$169.99

Research Methods in Building Science and Technology

$249.99

Russlands Auenpolitik

$19.95

Johannes Lh und die Aufklrung im Bergischen

$59.99

Defense Industries

$219.99

Advances in Knowledge Discovery and Data Mining

$129.00

Liberalisation of Natural Gas Markets

$119.99

Bioactive Polyphenols from Wine Grapes

$54.99

Geothermal Energy

$99.00

Effekte deliberativer Ereignisse in der Endlagerpolitik

$59.99

Signale aus unserer Welt!

$29.99

Innovations in Bio-Inspired Computing and Applications

$129.00

Particles and Inorganic Clusters

$109.99

Mechanics and Properties of Composed Materials and Structures

$84.99

Nanostructures

$129.00

Die altrmischen Militrrzte

$59.99

3D-Spannungsanalyse von linear elastisch homogenen Krpern

$17.99

The Scientific Basis of Flocculation

$219.99