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

Protein-Microarrays fr die Wirkstoffentwicklung

$59.99

Flatfish Metamorphosis

$159.99

Korrekte Zugriffe zu verteilten Daten

$69.99

Helix Structures in Quantum Cohomology of Fano Varieties

$79.99

Pro MEAN Stack Development

$44.99

Smart Computational Strategies: Theoretical and Practical Aspects

$129.00

The Future in Learning Science: Whats in it for the Learner?

$109.99

Miteinander oder Gegeneinander

$64.99

Participatory Action Research and Educational Development

$19.99

Towards Safer Global Food Supply Chains

$49.99

Eine kleine Nachtphysik

$34.99

Hyperfine Interactions of Radioactive Nuclei

$39.99

The Navajo Sound System

$109.99

Management interorganisationaler Beziehungen

$59.99

Morality, Moral Luck and Responsibility

$54.99

Open and Closed Innovation

$54.99

Anticipatory Behavior in Adaptive Learning Systems

$54.99

Law and the Transition to Business Sustainability

$84.99

Bewertung von Produktionsnetzwerkerweiterungen

$84.99

Convective Heat and Mass Transfer in Porous Media

$549.99

Qualifizierung an Industrierobotern

$69.99

Auslegung von Massivumformwerkzeugen gegen Versagen durch Ermdung

$84.99

Transforming Urban Green Space Governance in China Under Ecological Civilization: An Institutional A

$139.99

Inequalities and Applications

$109.99

Control of Partial Differential Equations

$54.99

Training gegen Schwindel

$49.99

Microbial Biotechnology for Sustainable Agriculture Volume 2

$219.99

Hernias and Surgery of the abdominal wall

$84.99

The Educator's Guide to Understanding Child Development (10-copy pack)

$269.90

Regime Transition and the Judicial Politics of Enmity

$54.99

Key Concepts for Critical Infrastructure Research

$29.99

Neural Nets WIRN Vietri-01

$39.99

The Virus, Mycoplasma and Rickettsia Diseases of Fruit Trees

$329.99

Critical Issues in American Psychiatry and the Law

$84.99

Unterrichtsmethoden fr den Informatikunterricht

$29.99

Briefe an Vieweg

$59.99

Advanced IT Tools

$169.00

Accelerated Reader Grade 8 (AR Levels 4.5-8.0)

$299.00

Structure-Based Drug Design

$169.99

Microbial Processes in Reservoirs

$84.99