A combination of geometry theorem proving and nonstandard analysis with application to Newton's principiaJacques FleuriotEsaurito4,3Avvisami
