A geometrical characterization of the projective plane of order
Andrzej Lewandowski, Hanna Makowiecka (1979)
Časopis pro pěstování matematiky
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
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: