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.
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.
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],...
Boskoff, Wladimir G., Suceavă, Bogdan D. (2008)
Beiträge zur Algebra und Geometrie
Similarity: