Publication date
July 2007
DOIAbstract
Let’s consider the points A1,...,An situated on the same plane, and B1,...,Bn situated on another plane
Let’s consider the points A1,...,An situated on the same plane, and B1,...,Bn situated on another plane
AbstractFormalizing geometry theorems in a proof assistant like Coq is challenging. As emphasized in...
We provide a characterisation of (n - 1)-spreads in PG (rn - 1, q), r > 2, that have r normal elemen...
Abstract. The butter°y theorem and some of its generalizations deal with a speci¯c point related to ...
Let’s consider the points A1,...,An situated on the same plane, and B1,...,Bn situated on another pl...
In this article we will use the Desargues ’ theorem and its reciprocal to solve two problems. For be...
together with its indirect forms are introduced. Logical relationships between these formulas and be...
With the use of only the incidence axioms we prove and generalize Desargues’ two-triangle Theorem in...
Summary. The classical sequence of implications which hold between Desargues and Pappus Axioms is pr...
Let A and B be disjoint sets of points in PG(2, q) the Desarguesian projective plane of order q, wit...
A Desargues configuration is the configuration of 10 points and 10 lines of the clas-sical theorem o...
Includes bibliographical references.This paper is primarily concerned with exhibiting examples of No...
Let be obtained from the affine plane with 9 points by removing at most 4 lines. We describe the em...
New lower bounds are given for the size of a point set in a Desarguesian projective plane over a fin...
In this article we present a generalization of a Leibniz’s theorem in geometry and an application of...
info.u-strasbg.fr Formalizing geometry theorems in a proof assistant like Coq is hallenging. As emph...
AbstractFormalizing geometry theorems in a proof assistant like Coq is challenging. As emphasized in...
We provide a characterisation of (n - 1)-spreads in PG (rn - 1, q), r > 2, that have r normal elemen...
Abstract. The butter°y theorem and some of its generalizations deal with a speci¯c point related to ...
Let’s consider the points A1,...,An situated on the same plane, and B1,...,Bn situated on another pl...
In this article we will use the Desargues ’ theorem and its reciprocal to solve two problems. For be...
together with its indirect forms are introduced. Logical relationships between these formulas and be...
With the use of only the incidence axioms we prove and generalize Desargues’ two-triangle Theorem in...
Summary. The classical sequence of implications which hold between Desargues and Pappus Axioms is pr...
Let A and B be disjoint sets of points in PG(2, q) the Desarguesian projective plane of order q, wit...
A Desargues configuration is the configuration of 10 points and 10 lines of the clas-sical theorem o...
Includes bibliographical references.This paper is primarily concerned with exhibiting examples of No...
Let be obtained from the affine plane with 9 points by removing at most 4 lines. We describe the em...
New lower bounds are given for the size of a point set in a Desarguesian projective plane over a fin...
In this article we present a generalization of a Leibniz’s theorem in geometry and an application of...
info.u-strasbg.fr Formalizing geometry theorems in a proof assistant like Coq is hallenging. As emph...
AbstractFormalizing geometry theorems in a proof assistant like Coq is challenging. As emphasized in...
We provide a characterisation of (n - 1)-spreads in PG (rn - 1, q), r > 2, that have r normal elemen...
Abstract. The butter°y theorem and some of its generalizations deal with a speci¯c point related to ...
Add to ORKG