A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia (Distinguished Dissertations)
Automatic theorem provingNonstandard mathematical analysisMathematical analysis
Writing a summary for young readers…
For young readers
Book data: Open Library