A combination of geometry theorem proving and nonstandard analysis with application to Newton's principiaJacques FleuriotÉpuisé4,3Prévenez-moi
