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

By: Fleuriot, Jacques, 1972-Material type: TextTextPublication details: London, New York : ; Springer ; c2001Description: xi, 140 pISBN: 1852334665 (acid-free paper)Subject(s): Automatic theorem proving. Nonstandard mathematical analysis
Item type: BOOKS
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
Current library Home library Call number Materials specified Status Date due Barcode
IMSc Library
IMSc Library
514 FLE (Browse shelf (Opens below)) Available 53169

There are no comments on this title.

to post a comment.
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha