A combination of geometry theorem proving and nonstandard analysis with application to Newton's principiaJacques FleuriotAgotado4,3Notifícame
