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

A Combination Of Geometry Theorem Proving And Nonstandard Analysis

Interactive Theorem Proving and Program Development, Fachbücher

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

The Efficiency of Theorem Proving Strategies, Fachbücher von David A. Plaisted, Yunshan Zhu

Formal Analysis of Future Energy Systems Using Interactive Theorem Proving, Fachbücher von Osman Hasan, Asad Ahmed, Nabi...

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

A Treatise On The Application Of Analysis To Solid Geometry Gregory

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

Interactive Theorem Proving, Fachbücher von Mauricio Ayala-Rincón, César A. Muñoz

Nonstandard Analysis and Vector Lattices, Fachbücher

Combinations of Intelligent Methods and Applications, Fachbücher

Selected Propositions in Geometrical Constructions and Applications of Algebra to Geometry, Fachbücher von Charles Davie...

The Strength of Nonstandard Analysis, Fachbücher

Fixed Point Theorem with Application to Economic Theory, Fachbücher von Ravi Prakash Dubey, Rita SHUKLA

Computational Geometry, Topology and Physics of Digital Images with Applications, Fachbücher von James F. Peters