Related papers: Is Parallel Postulate Necessary?
A tutorial introduction to projective geometric algebra (PGA), a modern, coordinate-free framework for doing euclidean geometry. PGA features: uniform representation of points, lines, and planes; robust, parallel-safe join and meet…
We give three new proofs of the triangle inequality in Euclidean Geometry. There seems to be only one known proof at the moment. It is due to properties of triangles, but our proofs are due to circles or ellipses. We aim to prove the…
Geometric algebra is the natural outgrowth of the concept of a vector and the addition of vectors. After reviewing the properties of the addition of vectors, a multiplication of vectors is introduced in such a way that it encodes the famous…
We present a proof of the fact that a closed orientable 4-manifold is parallelizable if and only if its second Stiefel-Whitney class, first Pontryagin class and Euler characteristics vanish. This follows from a stronger result due to Dold…
We prove that the Gauss curvature and the curvature of the normal connection of any minimal surface in the four dimensional Euclidean space satisfy an inequality, which generates two classes of minimal surfaces: minimal surfaces of general…
Recently it has been argued that autoparallels should be the correct description of free particle motion in spaces with torsion, and that such trajectories can be derived from variational principles if these are suitably adapted. The…
Modeling of a wide class of physical phenomena, such as crystal growth and flame propagation, leads to tracking fronts moving with curvature-dependent speed. When the speed is the curvature this leads to one of the classical degenerate…
The aim of this paper is to develop a new axiomatization of planar geometry by reinterpreting the original axioms of Euclid. The basic concept is still that of a line segment but its equivalent notion of betweenness is viewed as a…
A parallelohedron is called reducible, if it can be represented as a direct product of two parallelohedra of lower dimension. In his Ph.D. thesis (2005) the first author proved a criterion of reducibility of a parallelohedron in terms of…
It is known that the class of developable surfaces which have zero Gaussian curvature in three dimensional Euclidean space is preserved by the parallel transformations. A tangent developable surface is defined as a ruled developable surface…
The Palatini formalism is developed for gravitational theories in flat geometries. We focus on two particularly interesting scenarios. First, we fix the connection to be metric compatible, but we follow a completely covariant approach by…
We present a practical application of parallel symbolic computation in General Relativity: the calculation of curvature invariants for large dimension. We discuss the structure of the calculations, an implementation of the technique and…
Non-Euclidean geometry, discovered by negating Euclid's parallel postulate, has been of considerable interest in mathematics and related fields for the description of geographical coordinates, Internet infrastructures, and the general…
Many authors noted that the principle of relativity, together with space-time symmetries, suffices to derive Lorentz-like coordinate transformations between inertial frames. These contain a free parameter, $k$, (equal to $c^{-2}$ in special…
Fr\'echet regression extends classical regression methods to non-Euclidean metric spaces, enabling the analysis of data relationships on complex structures such as manifolds and graphs. This work establishes a rigorous theoretical analysis…
We give a condition under which the findings of the paper cited above work well and determine the surfaces that were not considered before. In this paper, we show that a parallel mean curvature surface of a general type in a complex…
We re-derive Thales, Pythagoras, Apollonius, Stewart, Heron, al Kashi, de Gua, Terquem, Ptolemy, Brahmagupta and Euler's theorems as well as the inscribed angle theorem, the law of sines, the circumradius, inradius and some angle bisector…
Meridian surfaces in the Euclidean 4-space are two-dimensional surfaces which are one-parameter systems of meridians of a standard rotational hypersurface. On the base of our invariant theory of surfaces we study meridian surfaces with…
A submanifold of a Riemannian symmetric space is called parallel if its second fundamental form is a parallel section of the appropriate tensor bundle. We classify parallel submanifolds of the Grassmannian $\rmG^+_2(\R^{n+2})$ which…
The purpose of this book is to give an exposition of geometry, from a point of view which complements Klein's Erlangen program. The emphasis is on extending the classical Euclidean geometry to the finite case, but it goes beyond that. After…