A non-homogeneous, symmetric contact projective structure
Lenka Zalabová (2014)
Open Mathematics
Similarity:
We construct a non-homogeneous contact projective structure which is symmetric from the point of view of parabolic geometries.
Lenka Zalabová (2014)
Open Mathematics
Similarity:
We construct a non-homogeneous contact projective structure which is symmetric from the point of view of parabolic geometries.
Roland Coghetto (2016)
Formalized Mathematics
Similarity:
The real projective plane has been formalized in Isabelle/HOL by Timothy Makarios [13] and in Coq by Nicolas Magaud, Julien Narboux and Pascal Schreck [12]. Some definitions on the real projective spaces were introduced early in the Mizar Mathematical Library by Wojciech Leonczuk [9], Krzysztof Prazmowski [10] and by Wojciech Skaba [18]. In this article, we check with the Mizar system [4], some properties on the determinants and the Grassmann-Plücker relation in rank 3 [2], [1], [7],...
Gallo, Daniel M. (1997)
Annales Academiae Scientiarum Fennicae. Mathematica
Similarity:
Marek Kordos (1989)
Colloquium Mathematicae
Similarity:
Boskoff, Wladimir G., Suceavă, Bogdan D. (2008)
Beiträge zur Algebra und Geometrie
Similarity:
Cătălin Tigăeru (1998)
Archivum Mathematicum
Similarity:
We prove that the set of the -projective symmetries is a Lie algebra.
Roland Coghetto (2017)
Formalized Mathematics
Similarity:
In this article we check, with the Mizar system [2], Pascal’s theorem in the real projective plane (in projective geometry Pascal’s theorem is also known as the Hexagrammum Mysticum Theorem)1. Pappus’ theorem is a special case of a degenerate conic of two lines. For proving Pascal’s theorem, we use the techniques developed in the section “Projective Proofs of Pappus’ Theorem” in the chapter “Pappus’ Theorem: Nine proofs and three variations” [11]. We also follow some ideas from Harrison’s...
Fabio Podestá (1989)
Manuscripta mathematica
Similarity:
Andrzej Owsiejczuk (2007)
Formalized Mathematics
Similarity:
In the paper I construct the configuration G which is a partial linear space. It consists of k-element subsets of some base set as points and (k + 1)-element subsets as lines. The incidence is given by inclusion. I also introduce automorphisms of partial linear spaces and show that automorphisms of G are generated by permutations of the base set.
Klaus Kaiser (1973)
Colloquium Mathematicae
Similarity: