This book describes the theory of analytic C-spaces developed by Cartan, Whitney and Tognoli, some central results in global real geometry.

We prove that, building upon the universal-existential orthogonality-based axiom system for metric planes presented in [28], one can provide universal-existential axiom systems – expressed solely in terms of the ternary predicate I, with I(abc) standing for ‘ab is congruent to ac’, which Pieri has introduced 100 years ago – for metric planes, for absolute geometry with the circle axiom, for Euc...

We describe a statistical analysis of the eye tracker measurements in a database with 15 observers viewing 1003 images under free-viewing conditions. In contrast to the common approach of investigating the properties of the fixation points we analyze the properties of the transition phases between fixations. We introduce hyperbolic geometry as a tool to measure the step length between consecuti...

1. Affine Geometry 1.1. Affine Space 1.2. Affine Lines 1.3. Affine transformations 1.4. Affine Collinearity 1.5. Conic Sections 2. Projective Geometry 2.1. Perspective 2.2. Projective Plane 2.3. Projective Transformations 2.4. Projective Collinearity 2.5. Conics 3. Geometries and Groups 3.1. Transformation Groups 3.2. Erlangen Program 4. Non-Euclidean Geometry 4.1. Elliptic Geometry 4.2. Hyperb...