Theorem Proving with the Real Numbers

Sprache: Englisch

Verlag: Springer London Nov 2011, 2011

1447115937 / 9781447115939

Anbieter: Rheinberg-Buch Andreas Meier eK, Bergisch Gladbach, DeutschlandRheinberg-Buch Andreas Meier eK

Verkäufer/-in mit 5 Sternen

Verkäufer:in bei AbeBooks seit 17. November 2008

Softcover

Zustand: Neu

EUR 106,99

EUR 23,00 Versand 
Versand von Deutschland nach USA

Anzahl: 1 verfügbar

In den Warenkorb
30 Tage kostenlose Rückgabe

Artikelbeschreibung des Verkäufers

This item is printed on demand - it takes 3-4 days longer - Neuware -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. 200 pp. Englisch.…

Bestandsnummer des Verkäufers 9781447115939

Titel
Theorem Proving with the Real Numbers
Autor
John Harrison
Verlag
Springer London Nov 2011
Erscheinungsjahr
2011
Zustand
Neu
Einband
Taschenbuch
Sprache
Englisch
ISBN-10
1447115937
ISBN-13
9781447115939
Artikelgewicht
312 Gramm
Abmessungen
235x155x12 mm

Rheinberg-Buch Andreas Meier eK

Bergisch Gladbach, Deutschland

Verkäufer/-in mit 5 Sternen

Verkäufer:in bei AbeBooks seit 17. November 2008

Versandkosten von Deutschland nach USA

Artikel5 bis 15 Werktage2 bis 4 Werktage
Erster ArtikelEUR 23,00EUR 35,99
Die Versandzeiten werden von den Verkäuferinnen und Verkäufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, können Verzögerungen unterliegen. Eventuell anfallende Abgaben oder Gebühren sind von der Käuferin bzw. dem Käufer zu tragen. Die Verkäuferin bzw. der Verkäufer kann Sie bezüglich zusätzlicher Versandkosten kontaktieren, um einen möglichen Anstieg der Versandkosten für Ihre Artikel auszugleichen.

Zahlungsarten

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay
  • Banküberweisung
  • PayPal

Shopbeschreibung

Online Buchhandel

Unternehmensdaten der Verkäuferin bzw. des Verkäufers

Rheinberg-Buch Andreas Meier eK

Deutschland

Rheinberg-Buch Inh. Andreas Meier e.K.
Inhaber: Andreas Meier
De-Gasperi-Str. 8
51469 Bergisch Gladbach
Deutschland

Tel.: +4922049671181
Fax: +4922049671189
E-Mail: info@rheinberg-buch.de

Registergericht: Amtsgericht Köln
Registernummer: HRA 26456

Umsatzsteuer-Identifikationsnummer: DE122062682

Wir sind zur Teilnahme an einem Streitbeilegungsverfahren vor einer Verbraucherschlichtungsstelle weder verpflichtet noch bereit.