q-Completeness of Subsets in Complex Projective Space.
Mathias Peternell (1987)
Mathematische Zeitschrift
Similarity:
Mathias Peternell (1987)
Mathematische Zeitschrift
Similarity:
Albrecht Beutelspacher (1983)
Mathematische Zeitschrift
Similarity:
Ascher Wagner (1969)
Mathematische Zeitschrift
Similarity:
Ascher Wagner (1969)
Mathematische Zeitschrift
Similarity:
Roy Dyckhoff (1972)
Mathematische Zeitschrift
Similarity:
R.J. Clarke (1973)
Mathematische Zeitschrift
Similarity:
Ascher Wagner (1971)
Mathematische Zeitschrift
Similarity:
Leendert van Gastel (1990)
Banach Center Publications
Similarity:
Thomaws Schmitt, Wolfgang Vogel (1979)
Mathematische Annalen
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],...
Boskoff, Wladimir G., Suceavă, Bogdan D. (2008)
Beiträge zur Algebra und Geometrie
Similarity:
Andrzej Owsiejczuk (2007)
Formalized Mathematics
Similarity:
In the paper I construct the configuration G which is a partial linear space. It consists of k-element subsets of some base set as points and (k + 1)-element subsets as lines. The incidence is given by inclusion. I also introduce automorphisms of partial linear spaces and show that automorphisms of G are generated by permutations of the base set.
Richard Weiss (1982)
Mathematische Zeitschrift
Similarity: