Búsqueda avanzada

LIBROS DEL AUTOR: jacques fleuriot

1 resultados para LIBROS DEL AUTOR: jacques fleuriot

Ordenar por

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

Jacques Fleuriot

Sir Isaac Newton’s philosophi Naturalis Principia Mathematica’(the Principia) contains a prose-style mixture of geometric and limit reasoning that has often been viewed as logically vague.In A Combination of Geometry Theorem Proving and Nonstandard Analysis, Jacques Fleuriot presents a formalization of Lemmas and Propositions from the Principia using ...

Disponible

134,53 €