A geometrical characterization of the projective plane of order
Andrzej Lewandowski, Hanna Makowiecka (1979)
Časopis pro pěstování matematiky
Similarity:
Andrzej Lewandowski, Hanna Makowiecka (1979)
Časopis pro pěstování matematiky
Similarity:
Barbu C. Kestenband (1989)
Colloquium Mathematicae
Similarity:
Drake, David A., Larson, Jean A. (1992)
Experimental Mathematics
Similarity:
Keppens, Dirk, Van Maldeghem, Hendrik (2009)
Beiträge zur Algebra und Geometrie
Similarity:
E. Kramer (1985)
Matematički Vesnik
Similarity:
Jean-François Maurras, Roumen Nedev (2008)
RAIRO - Operations Research
Similarity:
We study the finite projective planes with linear programming models. We give a complete description of the convex hull of the finite projective planes of order . We give some integer linear programming models whose solution are, either a finite projective (or affine) plane of order , or a -arc.
Ton Marar (2007)
Visual Mathematics
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],...
Helmut Salzmann (1990)
Forum mathematicum
Similarity: