Fleuriot, Jacques

Vis mig kun

Automated Deduction in Geometry

Automated Deduction in Geometry

Fleuriot, Jacques

403,64 DKK

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

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

Fleuriot, Jacques

875,33 DKK