A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia

Research output: Book/ReportBook

Fingerprint

Dive into the research topics of 'A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia'. Together they form a unique fingerprint.

Mathematics