A study of full collineation group of the projective plane of order 26.
Cigić, V. (1986)
Publications de l'Institut Mathématique. Nouvelle Série
Similarity:
Cigić, V. (1986)
Publications de l'Institut Mathématique. Nouvelle Série
Similarity:
Drake, David A., Larson, Jean A. (1992)
Experimental Mathematics
Similarity:
E. Kramer (1985)
Matematički Vesnik
Similarity:
Keppens, Dirk, Van Maldeghem, Hendrik (2009)
Beiträge zur Algebra und Geometrie
Similarity:
Ueberberg, Johannes (1997)
Bulletin of the Belgian Mathematical Society - Simon Stevin
Similarity:
Helmut Salzmann (1990)
Forum mathematicum
Similarity:
Zvonimir Janko, Tran van Trung (1980)
Mathematische Zeitschrift
Similarity:
Helmut Salzmann (1984)
Mathematische Zeitschrift
Similarity:
Rodney Angotti (1965)
Rendiconti del Seminario Matematico della Università di Padova
Similarity:
Jaroslava Jachanová, Helena Žáková (1976)
Sborník prací Přírodovědecké fakulty University Palackého v Olomouci. Matematika
Similarity:
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],...