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