Theorem Proving with the Real Numbers
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 136.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
Versandkostenfrei
Produktdetails
- ISBN: 978-1-4471-1591-5
- EAN: 9781447115915
- Produktnummer: 37172166
- Verlag: Springer London
- Sprache: Englisch
- Erscheinungsjahr: 2012
- Seitenangabe: 186 S.
- Plattform: PDF
- Auflage: 1998
100 weitere Werke von John Harrison:
Robert Owen and the Owenites in Britain and America (Routledge Revivals)
Ebook (EPUB Format)
CHF 58.70
Bewertungen
Anmelden