In any projective incidence plane satisfying the Desargues Theorem, we introduce central collineations in a constructive way and show that these coincide with those defined in the usual way
Projective planes P of order up to q^3 with a collineation group G acting 2-transitively on a subpla...
With the use of only the incidence axioms we prove and generalize Desargues’ two-triangle Theorem in...
This paper proves J. Bognár's conjecture that if the range of a transformation of the rea...
In any projective incidence plane satisfying the Desargues Theorem, we introduce central collineatio...
It is our purpose to specify some of the theory of collineation groups of finite projective planes a...
Formalizing geometry theorems in a proof assistant like Coq is challenging. As emphasized in the lit...
A collineation is a one-one mapping of a projective plane onto itself, taking points into points, l...
AbstractFormalizing geometry theorems in a proof assistant like Coq is challenging. As emphasized in...
An idea for the construction of finite projective planes, proposed by Z. Janko, is investigated in t...
Decomposition into a direct sum of irreducible representations of the representation of the full col...
This volume combines an introduction to central collineations with an introduction to projective geo...
AbstractA t-cap in a geometry is a set of t points no three of which are collinear. A quadric in a p...
A projective rectangle is like a projective plane that has different lengths in two directions. We d...
AbstractWe define a cotangency set (in the projective plane over any field) to be a set of points th...
AbstractDecomposition into a direct sum of irreducible representations of the representation of the ...
Projective planes P of order up to q^3 with a collineation group G acting 2-transitively on a subpla...
With the use of only the incidence axioms we prove and generalize Desargues’ two-triangle Theorem in...
This paper proves J. Bognár's conjecture that if the range of a transformation of the rea...
In any projective incidence plane satisfying the Desargues Theorem, we introduce central collineatio...
It is our purpose to specify some of the theory of collineation groups of finite projective planes a...
Formalizing geometry theorems in a proof assistant like Coq is challenging. As emphasized in the lit...
A collineation is a one-one mapping of a projective plane onto itself, taking points into points, l...
AbstractFormalizing geometry theorems in a proof assistant like Coq is challenging. As emphasized in...
An idea for the construction of finite projective planes, proposed by Z. Janko, is investigated in t...
Decomposition into a direct sum of irreducible representations of the representation of the full col...
This volume combines an introduction to central collineations with an introduction to projective geo...
AbstractA t-cap in a geometry is a set of t points no three of which are collinear. A quadric in a p...
A projective rectangle is like a projective plane that has different lengths in two directions. We d...
AbstractWe define a cotangency set (in the projective plane over any field) to be a set of points th...
AbstractDecomposition into a direct sum of irreducible representations of the representation of the ...
Projective planes P of order up to q^3 with a collineation group G acting 2-transitively on a subpla...
With the use of only the incidence axioms we prove and generalize Desargues’ two-triangle Theorem in...
This paper proves J. Bognár's conjecture that if the range of a transformation of the rea...
DOI
Add to ORKG