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

Applications of the Topological Derivative Method

$159.99

Frhgeburt und Frhgeborenes

$59.99

Power-Aware Architecting

$109.99

British Imperial Policy and Decolonization, 1938-64

$169.99

Literatur und Recht: Materialitt

$49.99

Recent Developments in High Temperature Superconductivity

$39.99

Participatory Citizenship and Crisis in Contemporary Brazil

$44.99

Nachhaltig wirtschaften in der Praxis

$37.99

Microfluidics for Single-Cell Analysis

$109.99

A Rapid Introduction to Adaptive Filtering

$54.99

ffentlichkeitsarbeit von Banken

$49.99

Research and Practice in Chemistry Education

$84.99

Exportfinanzierung fr Groprojekte

$69.99

Intermediate Real Analysis

$79.99

Advances in Digital Forensics X

$54.99

Ergebnisse der Inneren Medizin und Kinderheilkunde

$44.99

Betriebliche Informationssysteme in virtuellen Organisationen

$59.99

Broken Pumps and Promises

$54.99

Prparative Mikromethoden in der Organischen Chemie

$79.99

Infektionskrankheiten in Gynkologie und Geburtshilfe

$109.00

Wirksame und unwirksame Klauseln im VOB-Vertrag

$49.99

Mass Transfer Models in Membrane Processes

$69.99

Trennung von der Organisation

$74.99

Fredholm and Local Spectral Theory II

$44.99

Projektentwicklung in der Immobilienwirtschaft

$19.99

Einfhrung in die Methoden der empirischen Soziologie

$49.99

Defining Waka Musically

$44.99

Vorlesungen ber Grundlagen der Geometrie

$49.99

Technology Trends

$54.99

Modern Trends in Virology

$109.99

Glasses and Glass-Ceramics

$84.99

Malerische Wanderungen durch Paris, oder Schilderung der denkwrdigsten Schicksale, Sitten, Gebruch

$59.99

Ergebnisse der Hygiene Bakteriologie Immunittsforschung und Experimentellen Therapie

$59.99

Brgerschaftliches Engagement an Schulen

$49.99

Studies on the structure of time

$109.99

Supercomputer Applications

$39.99

The Middle East and Palestine

$54.99

Sets, Logic and Maths for Computing

$54.99

Desorption Induced by Electronic Transitions DIET II

$109.99

Reflexiv-strategische Beratung

$39.99