IMSc Library catalog › Details for: A combination of geometry theorem proving and nonstandard analysis with application to Newton's Principia

Normal view MARC view ISBD view

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

By: Fleuriot, Jacques, 1972-Material type: Text

TextPublication 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

Previous			No cover image available		No cover image available			Next
Previous	514 FEF Fitting smooth functions to data	514 FEN Geometry : (SUMS)	514 FIE Geometrical work of Girard Desargues	514 FLE A combination of geometry theorem proving and nonstandard analysis with application to Newton's Principia	514 FOR Foundations of euclidean geometry	514 FRA Geometry of physics introduction	514 FUJ Hyperbolic Geometry and Geometric Group Theory	Next

There are no comments on this title.

to post a comment.