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

Artificial Intelligence and Symbolic Computation: 13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedings