A combination of nonstandard analysis and geometry theorem proving, with application to Newton's Principia
- 1 January 1998
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Automated generation of readable proofs with geometric invariantsJournal of Automated Reasoning, 1996
- Automated generation of readable proofs with geometric invariantsJournal of Automated Reasoning, 1996
- Force and Geometry in Newton's "Principia"Published by Walter de Gruyter GmbH ,1995
- Free-variable axiomatic foundations of infinitesimal analysis: A fragment with finitary consistency proofThe Journal of Symbolic Logic, 1995
- IsabellePublished by Springer Nature ,1994
- Geometry theorem proving using Hilbert's NullstellensatzPublished by Association for Computing Machinery (ACM) ,1986
- On the Decision Problem and the Mechanization of Theorem-Proving in Elementary GeometryContemporary Mathematics, 1984
- Automatic Proofs of Theorems in Analysis Using Nonstandard TechniquesJournal of the ACM, 1977
- The Mathematical Principles Underlying Newton's Principia MathematicaJournal for the History of Astronomy, 1970