A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia

Overview of attention for book

Cover of 'A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia'

Table of Contents

Overall attention for this book and its chapters

Altmetric Badge

Mentioned by

twitter: 1 X user

Citations

dimensions_citation: 16 Dimensions

Readers on

mendeley: 9 Mendeley

Summary X Dimensions citations

So far, Dimensions has found 16 publications that cite this research output.

16

The most recent citing publications are shown below. View all 16 publications that cite this research output on Dimensions.

Computer verification for historians of philosophy

Article in Synthese (May 2022)

Simultaneous orthogonalization of inner products in infinite-dimensional vector spaces

Preprint in arXiv (July 2021)

Proof Mechanization: From Dream to Reality

Book chapter (May 2021)

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.