With the use of only the incidence axioms we prove and generalize Desargues’ two-triangle Theorem in three-dimensional projective space considering an arbitrary number of points on each one of the two distinct planes allowing corresponding points on the two planes to coincide and three points on any of the planes to be collinear. We provide three generalizations and we define the notions of a generalized line and a triangle-connected plane set of points
AbstractLet t>1, let P1,…,Pt be pairwise disjoint nonvoid subsets of a finite set P, and let L be a ...
Concurrence of lines. An extremely common theme in plane geometry is that of proving the concurrence...
Once the file is unzipped, launch Desargues.html in your browser window. Animation, in various form...
In this article we will use the Desargues ’ theorem and its reciprocal to solve two problems. For be...
AbstractFormalizing geometry theorems in a proof assistant like Coq is challenging. As emphasized in...
We present some elementary ideas to prove the following Sylvester–Gallai type theorems involving inc...
Our point of departure is the following simple common generalisation of the Sylvester–Gallai theorem...
This dissertation explores problems in combinatorial geometry relating to incidences and to applicat...
AbstractWe extend (and somewhat simplify) the algebraic proof technique of Guth and Katz (2010) [9],...
AbstractLet Γ be a rank 3 incidence geometry of points, lines and planes. This paper classifies all ...
AbstractOur point of departure is the following simple common generalisation of the Sylvester–Gallai...
AbstractLet π be a generalized projective geometry and i ϵ Z+ such that some i-dimensional subspace ...
This book gives an introduction to the field of Incidence Geometry by discussing the basic families ...
Let’s consider the points A1,...,An situated on the same plane, and B1,...,Bn situated on another pl...
Formalizing geometry theorems in a proof assistant like Coq is challenging. As emphasized in the lit...
AbstractLet t>1, let P1,…,Pt be pairwise disjoint nonvoid subsets of a finite set P, and let L be a ...
Concurrence of lines. An extremely common theme in plane geometry is that of proving the concurrence...
Once the file is unzipped, launch Desargues.html in your browser window. Animation, in various form...
In this article we will use the Desargues ’ theorem and its reciprocal to solve two problems. For be...
AbstractFormalizing geometry theorems in a proof assistant like Coq is challenging. As emphasized in...
We present some elementary ideas to prove the following Sylvester–Gallai type theorems involving inc...
Our point of departure is the following simple common generalisation of the Sylvester–Gallai theorem...
This dissertation explores problems in combinatorial geometry relating to incidences and to applicat...
AbstractWe extend (and somewhat simplify) the algebraic proof technique of Guth and Katz (2010) [9],...
AbstractLet Γ be a rank 3 incidence geometry of points, lines and planes. This paper classifies all ...
AbstractOur point of departure is the following simple common generalisation of the Sylvester–Gallai...
AbstractLet π be a generalized projective geometry and i ϵ Z+ such that some i-dimensional subspace ...
This book gives an introduction to the field of Incidence Geometry by discussing the basic families ...
Let’s consider the points A1,...,An situated on the same plane, and B1,...,Bn situated on another pl...
Formalizing geometry theorems in a proof assistant like Coq is challenging. As emphasized in the lit...
AbstractLet t>1, let P1,…,Pt be pairwise disjoint nonvoid subsets of a finite set P, and let L be a ...
Concurrence of lines. An extremely common theme in plane geometry is that of proving the concurrence...
Once the file is unzipped, launch Desargues.html in your browser window. Animation, in various form...