Overview
- Formal development of classical mathematics using a computer * Combines traditional lines of research in theorem proving and computer algebra * Shows usefulness of real numbers in verification
Part of the book series: Distinguished Dissertations (DISTDISS)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (8 chapters)
Keywords
About this book
Authors and Affiliations
Bibliographic Information
Book Title: Theorem Proving with the Real Numbers
Authors: John Harrison
Series Title: Distinguished Dissertations
DOI: https://doi.org/10.1007/978-1-4471-1591-5
Publisher: Springer London
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag London Limited 1998
Softcover ISBN: 978-1-4471-1593-9Published: 20 November 2011
eBook ISBN: 978-1-4471-1591-5Published: 06 December 2012
Edition Number: 1
Number of Pages: XII, 186
Topics: Algorithm Analysis and Problem Complexity, Mathematical Logic and Formal Languages, Artificial Intelligence