Embeddings of projective Klingenberg planes in the projective space PG(5,).
Keppens, Dirk, Van Maldeghem, Hendrik (2009)
Beiträge zur Algebra und Geometrie
Similarity:
Displaying similar documents to “The nonexistence of certain projective planes of order 15.”
Embeddings of projective Klingenberg planes in the projective space PG(5,).
On projective planes of order 20
E. Kramer (1985)
Matematički Vesnik
Similarity:
Projective planes and the Tripartite Unity
Ton Marar (2007)
Visual Mathematics
Similarity:
Compact 8-dimensional Projective Planes.
Helmut Salzmann (1990)
Forum mathematicum
Similarity:
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],...
On Projective Planes of Order Twelve and Twenty.
Zvonimir Janko, Tran van Trung (1980)
Mathematische Zeitschrift
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...
Simple quasidoubles of projective planes.
Dieter Jungnickel, Klaus Vedder (1987)
Aequationes mathematicae
Similarity: