Related papers: Is Parallel Postulate Necessary?

In this work, we show how Euclidean 3-space uniquely emerges from the structure of quantum temporal correlations associated with sequential measurements of Pauli observables on a single qubit. Quite remarkably, the quantum temporal…

Projective geometry provides the preferred framework for most implementations of Euclidean space in graphics applications. Translations and rotations are both linear transformations in projective geometry, which helps when it comes to…

We prove that subsets of ${\Bbb R}^d$, $d \ge 4$ of large enough Hausdorff dimensions contain vertices of an equilateral triangle. It is known that additional hypotheses are needed to assure the existence of equilateral triangles in two…

A. Tarski uses in his system for the elementary geometry only the primitive concept of point, and the two primitive relations betweenness and equidistance. Another approach is the relations to be on lines instead of points. W.…

Parallel transport is an important step in many discrete algorithms for statistical computing on manifolds. Numerical methods based on Jacobi fields or geodesics parallelograms are currently used in geometric data processing. In this last…

We study parallel surfaces and dual surfaces of cuspidal edges. We give concrete forms of principal curvature and principal direction for cuspidal edges. Moreover, we define ridge points for cuspidal edges by using those. We clarify…

We refurbish our axiomatics of differential geometry introduced in [Mathematics for Applications,, 1 (2012), 171-182]. Then the notion of Euclideaness can naturally be formulated. The principal objective in this paper is to present an…

Using only the principle of relativity and Euclidean geometry we show in this pedagogical article that the square of proper time or length in a two-dimensional spacetime diagram is proportional to the Euclidean area of the corresponding…

In this paper, we reconstruct Euclid's theory of similar triangles, as developed in Book VI of the \textit{Elements}, along with its 20th-century counterparts, formulated within the systems of Hilbert, Birkhoff, Borsuk and Szmielew, Millman…

We report on the implementation of an algorithm for computing the set of all regular triangulations of finitely many points in Euclidean space. This algorithm, which we call down-flip reverse search, can be restricted, e.g., to computing…

We develop an invariant local theory of Lorentz surfaces in pseudo-Euclidean 4-space by use of a linear map of Weingarten type. We find a geometrically determined moving frame field at each point of the surface and obtain a system of…

Using geometric methods and without invoking deep results from group theory, we prove that a classical unital of even order $n\geq4$ is characterized by two conditions (I) and (II): (I) is the absence of O'Nan configurations of four…

In this paper we will do the following: (1) show how to geometrically define multiplication, using only basic plane geometry, independently of area and any notion of similar triangles; (2) prove all the properties of multiplication using…

We show that if a compact, oriented 4-manifold admits a coassociative-free immersion into the Euclidean 7-space then its Euler characteristic and signature vanish. Moreover, in the spin case the Gauss map is contractible, so that the…

We propose a parallel algorithm for local, on the fly, model checking of a fragment of CTL that is well-suited for modern, multi-core architectures. This model-checking algorithm takes bene t from a parallel state space construction…

In this paper, we prove a similar result to the fundamental theorem of regular surfaces in classical differential geometry, which extends the classical theorem to the entire class of singular surfaces in Euclidean 3-space known as frontals.…

Nontrivial isometric embeddings for flat metrics (i.e., those which are not just planes in the ambient space) can serve as useful tools in the description of gravity in the embedding gravity approach. Such embeddings can additionally be…

We present a one-to-one correspondence between equivalence classes of embeddings of a manifold (into a larger manifold of the same dimension) and equivalence classes of certain distances on the manifold. This correspondence allows us to use…

When a pair of non-incident edges of a tetrahedron is chosen, the midpoints of the remaining 4 edges are the vertices of a planar parallelogram. A formula is given in terms of the six edge lengths for the area of this parallelogram. It is…

It is well known that a purely inseparable field extension $L/F$ with some extra property and degree $[L:F]=4$ determines a Clifford parallelism on the set of lines of the three-dimensional projective space over $F$. By extending the ground…