A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Prin, Fachbücher

A Combination Of Geometry Theorem Proving And Nonstandard Analysis

Probabilistic Analysis using Theorem Proving, Fachbücher

Newton's Theorem of Revolving Orbits, Fachbücher

Theorem Proving with the Real Numbers, Fachbücher von John Harrison

Interactive Theorem Proving and Program Development, Fachbücher

An Introduction to Differential Geometry with Applications to Elasticity, Fachbücher

Global and Stochastic Analysis with Applications to Mathematical Physics, Fachbücher

Nonstandard Methods of Analysis, Fachbücher

A Practical Approach to Robustness Analysis with Aeronautical Applications, Fachbücher

Combinations of Intelligent Methods and Applications, Fachbücher

Statistical Analysis of Extreme Values with Applications to Insurance, Finance, Hydrology and Other, Fachbücher von Mich...

Nonstandard Analysis and Vector Lattices, Fachbücher

Application of the cohesive zone model to the analysis of rotors with a transverse crack, Fachbücher

Statistical Geometry and Applications to Microphysics and Cosmology, Fachbücher

A Treatise On The Application Of Analysis To Solid Geometry Gregory