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