Related papers: Euclidean plane and its relatives; a minimalist in…
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…
By recasting metrical geometry in a purely algebraic setting, both Euclidean and non-Euclidean geometries can be studied over a general field with an arbitrary quadratic form. Both an affine and a projective version of this new theory are…
The article presents a new approach to euclidean plane geometry based on projective geometric algebra (PGA). It is designed for anyone with an interest in plane geometry, or who wishes to familiarize themselves with PGA. After a brief…
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…
Euclidean distance geometry is the study of Euclidean geometry based on the concept of distance. This is useful in several applications where the input data consists of an incomplete set of distances, and the output is a set of points in…
In this paper we discuss, from a historical and philosophical point of view, a variation of the meaning of the five postulates in Euclidean Geometry and we make a short reference to D. Hilberts formalism. We examine, throughout the ages,…
In this article, I develop an elementary system of axioms for Euclidean geometry. On one hand, the system is based on the symmetry principles which express our a priori ignorant approach to space: all places are the same to us (the…
The initial techniques developed in Euclid's Elements, well before the use of the parallel postulate, are reexamined in order to clarify even the most obscure details, particularly those related to equality, superposition and angle…
This is an attempt to present axioms for Euclidean geometry, aiming at the following goals: to work with geometric notions (thus not merely identify points with pairs of numbers, giving a special status to a particular coordinate system);…
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…
These lecture notes are based on [arXiv: math/0702714, 0907.4469, 0907.4470]. We introduce and study basic aspects of non-Euclidean geometries from a coordinate-free viewpoint.
This book is a textbook for the course of foundations of geometry. It is addressed to mathematics students in Universities and to High School students for deeper learning the elementary geometry. It can also be used in mathematics coteries…
Certain topics on polygons are extended from Euclidean to hyperbolic geometry. This first part deals with uniqueness and existence of cocyclic polygons with prescribed sidelengths. The non-Euclidean versions are more difficult due to the…
This manuscript, titled Differential Geometry of Curves and Surfaces in Three-dimensional Euclidean Space, is intended for undergraduate students of mathematics and other sciences with the need of use of Euclidean differential geometry. We…
In this article we will represent some ideas and a lot of new theorems in Euclidean plane geometry.
We analyse the axioms of Euclidean geometry according to standard object-oriented software development methodology. We find a perfect match: the main undefined concepts of the axioms translate to object classes. The result is a suite of C++…
This is the first paper in a series of eight where in the first three we develop a systematic approach to the geometric algebras of multivectors and extensors, followed by five papers where those algebraic concepts are used in a novel…
We present a new model of a non-Euclidean plane, in which angles in a triangle sum up to $\pi$. It is a subspace of the Cartesian plane over the field of hyperreal numbers $\mathbb{R}^*$. The model enables one to represent the negation of…
Constructive-deductive method for plane Euclidean geometry is proposed and formalized within Coq Proof Assistant. This method includes both postulates that describe elementary constructions by idealized geometric tools (pencil, straightedge…
We define the simplest log-euclidean geometry. This geometry exposes a difficulty hidden in Hilbert's list of axioms presented in his "Grundlagen der Geometrie". The list of axioms appears to be incomplete if the foundations of geometry are…