Some Projective Concentration Theorems.
Shihoko Ishii (1977)
Manuscripta mathematica
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.
Shihoko Ishii (1977)
Manuscripta mathematica
Similarity:
Fabio Podestá (1989)
Manuscripta mathematica
Similarity:
Günaltılı, Ibrahim, Anapa, Pınar (2003)
APPS. Applied Sciences
Similarity:
S. Dierolf, L. Frerick, E. Mangino (1995)
Manuscripta mathematica
Similarity:
Toshiaki Adachi, S. Maeda, K. Ogiue (1997)
Manuscripta mathematica
Similarity:
Sean Keel (1990)
Manuscripta mathematica
Similarity:
Christina Birkenhake (1995)
Manuscripta mathematica
Similarity:
Erich W. Ellers (1982)
Aequationes mathematicae
Similarity:
Claudio Bartolone, Fabio Di Franco (1979)
Mathematische Zeitschrift
Similarity:
Audun Holme (1989)
Manuscripta mathematica
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],...
Marek Kordos (1989)
Colloquium Mathematicae
Similarity:
Gallo, Daniel M. (1997)
Annales Academiae Scientiarum Fennicae. Mathematica
Similarity:
I-Chiau Huang (1997)
Manuscripta mathematica
Similarity: