A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia (Distinguished Dissertations)
Edition: 1 edition
Publisher: Springer
Published: June 27, 2001
Language: eng
Format: Hardcover
Number of pages: 140
ISBN-13: 9781852334666
Subjects: Geometry; Principia; Interactive & Multimedia; Computer Science; Sir,; Newton, Isaac,; Automata; Mathematical Analysis; Computers; Computers - General Information; General; Computer Books: General; Expert Systems; Geometry - General; Artificial Intelligence; Automated Reasoning; Computers / Computer Science; Mechanical Theorem; Mechanised analysis; Newton's principia; Nonstandard mathematical analy; Nonstandard mathematical analysis; 1642-1727; 1642-1727; Automatic theorem proving
First sentence: It is often argued that the history of nineteenth-century mathematics is that of the replacement of geometry by algebra and analysis.