Theorem proving with the real numbers
ShareCopied to clipboardTheorem proving with the real numbers is a book. It was written by John Harrison and published by : Springer in 1998.
Key facts
- author: John Harrison
- publication date: 1998
- book publisher: : Springer
- book series: Distinguished dissertations
- book subjects: Automatic theorem proving, Numbers, Real
See more factsExtract data
Download datasets about Theorem proving with the real numbers:
Dataset of books series that contain Theorem proving with the real numbers
"Theorem proving with the real numbers" is one of the books by John Harrison, books by : Springer and 2,617,384 books in our database.
This dashboard is based on data from: The British Library.
This content is available under the CC BY 4.0 license.