A combination of geometry theorem proving and nonstandard analysis : with application to Newton's Principia
Bookmark
ShareCopied to clipboardA combination of geometry theorem proving and nonstandard analysis : with application to Newton's Principia is a book. It was written by Jacques Fleuriot and published by : Springer in 2001.
Key facts
- author: Jacques Fleuriot
- publication date: 2001
- book publisher: : Springer
- book series: Distinguished dissertations
- book subjects: Automatic theorem proving, Nonstandard mathematical analysis
See more factsExtract data
Download datasets about A combination of geometry theorem proving and nonstandard analysis : with application to Newton's Principia:
Dataset of books series that contain A combination of geometry theorem proving and nonstandard analysis : with application to Newton's Principia:
Dataset of book subjects that contain A combination of geometry theorem proving and nonstandard analysis : with application to Newton's Principia:
"A combination of geometry theorem proving and nonstandard analysis : with application to Newton's Principia" is one of the books by Jacques Fleuriot, books by : Springer and 2,617,384 books in our database.
Related
Connected or similar to A combination of geometry theorem proving and nonstandard analysis : with application to Newton's Principia: .
This dashboard is based on data from: The British Library.
This content is available under the CC BY 4.0 license.