A class of projective representations of hyperoctahedral groups and Schur Q-functions
Tadeusz Józefiak (1990)
Banach Center Publications
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Tadeusz Józefiak (1990)
Banach Center Publications
Similarity:
Hana Jirásková, Josef Jirásko (1978)
Czechoslovak Mathematical Journal
Similarity:
Gallo, Daniel M. (1997)
Annales Academiae Scientiarum Fennicae. Mathematica
Similarity:
Gary Birkenmeier (1983)
Acta Universitatis Carolinae. Mathematica et Physica
Similarity:
Sheila Brenner (1998)
Colloquium Mathematicae
Similarity:
Al-Thani, Huda Mohammed J. (2002)
International Journal of Mathematics and Mathematical Sciences
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],...