Jacques Fleuriot
· 4 obras en el catálogo
Obras

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

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

Automated Deduction in Geometry
