A combination of geometry theorem proving and nonstandard analysis with application to Newton's Pricipia

Authors
Publication date
1 January 1999
Publisher

Abstract

SIGLEAvailable from British Library Document Supply Centre-DSC:8723.247(469) / BLDSC - British Library Document Supply CentreGBUnited Kingdo

    Similar works

    Full text

    thumbnail-image

    Available Versions

    OpenGrey Repository

    redirect
    Last time updated on 14/06/2016