On the Borelian and Projective Types of Linear Subspaces.
Victor Klee (1958)
Mathematica Scandinavica
Similarity:
Victor Klee (1958)
Mathematica Scandinavica
Similarity:
Shiing-Shen Chern (1975)
Mathematica Scandinavica
Similarity:
J.R. Isbell (1968)
Mathematica Scandinavica
Similarity:
Terry A. Loring (1993)
Mathematica Scandinavica
Similarity:
Dan Laksov (1976)
Mathematica Scandinavica
Similarity:
W. Barth, M.E. Larsen (1972)
Mathematica Scandinavica
Similarity:
Mogens Esrom Larsen (1972)
Mathematica Scandinavica
Similarity:
Andrzej Miernowski, Witold Mozgawa (1997)
Collectanea Mathematica
Similarity:
Grassmannians of higher order appeared for the first time in a paper of A. Szybiak in the context of the Cartan method of moving frame. In the present paper we consider a special case of higher order Grassmannian, the projective space of second order. We introduce the projective group of second order acting on this space, derive its Maurer-Cartan equations and show that our generalized projective space is a homogeneous space of this group.
E. Thomas, L.L. Larmore (1980)
Mathematica Scandinavica
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],...
F.J. Craveiro de Carvalho (1982)
Mathematica Scandinavica
Similarity:
POUL NEERUP (1956)
Mathematica Scandinavica
Similarity: