Extension of Collineations Defined on Certain Sets of a Desarguesian Projective Plane
B. ORBÁN (1971)
Aequationes mathematicae
Similarity:
Displaying similar documents to “On the genus of the complex projective plane.”
Extension of Collineations Defined on Certain Sets of a Desarguesian Projective Plane
Projective collineations as products of homologies, elations, and projective reflections.
Erich W. Ellers (1982)
Aequationes mathematicae
Similarity:
On Collineations on Three and on Four Lines in a Projective Plane.
Václav Havel (1970)
Aequationes mathematicae
Similarity:
Simple quasidoubles of projective planes.
Dieter Jungnickel, Klaus Vedder (1987)
Aequationes mathematicae
Similarity:
Projective collineations as products of homologies, elations, and projective reflections. (Short Communication).
Erich W. Ellers (1982)
Aequationes mathematicae
Similarity:
Subplane replacement in projective planes.
Klaus Vedder, Henda Swart (1981)
Aequationes mathematicae
Similarity:
Embeddings of projective Klingenberg planes in the projective space PG(5,).
Keppens, Dirk, Van Maldeghem, Hendrik (2009)
Beiträge zur Algebra und Geometrie
Similarity:
On a dependence between polarities and an order of a projective plane
Jaroslava Jachanová, Helena Žáková (1976)
Sborník prací Přírodovědecké fakulty University Palackého v Olomouci. Matematika
Similarity:
Pascal’s Theorem in Real Projective Plane
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...
Homography in ℝℙ
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],...