Produktbild
John Harrison

Theorem Proving with the Real Numbers

Buch

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 n… Mehr

CHF 158.00

Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)

Versandfertig innerhalb 1-3 Werktagen

Produktdetails


  • ISBN: 978-1-4471-1593-9
  • EAN: 9781447115939
  • Produktnummer: 13340730
  • Verlag: Springer London
  • Sprache: Englisch
  • Erscheinungsjahr: 2011
  • Seitenangabe: 200 S.
  • Masse: H23.5 cm x B15.5 cm x D1.1 cm 312 g
  • Auflage: Softcover reprint of the original 1st ed. 1998
  • Abbildungen: Paperback
  • Gewicht: 312

100 weitere Werke von John Harrison:


Bewertungen


0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.