Projective Homogeneity.
Fabio Podestá (1989)
Manuscripta mathematica
Similarity:
Fabio Podestá (1989)
Manuscripta mathematica
Similarity:
Sean Keel (1990)
Manuscripta mathematica
Similarity:
Toshiaki Adachi, S. Maeda, K. Ogiue (1997)
Manuscripta mathematica
Similarity:
S. Dierolf, L. Frerick, E. Mangino (1995)
Manuscripta mathematica
Similarity:
Christina Birkenhake (1995)
Manuscripta mathematica
Similarity:
I-Chiau Huang (1997)
Manuscripta mathematica
Similarity:
Audun Holme (1989)
Manuscripta mathematica
Similarity:
Oswald Gschnitzer (1996)
Manuscripta mathematica
Similarity:
Antonio Lanteri, Sonia Brivio (1990)
Manuscripta mathematica
Similarity:
Gerd Fischer (1983)
Manuscripta mathematica
Similarity:
Geng Xu (1995)
Manuscripta mathematica
Similarity:
Tammo tom Dieck (1981)
Manuscripta mathematica
Similarity:
Roberto Costa, Artibano Micali (1978/79)
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],...
Gallo, Daniel M. (1997)
Annales Academiae Scientiarum Fennicae. Mathematica
Similarity:
Boskoff, Wladimir G., Suceavă, Bogdan D. (2008)
Beiträge zur Algebra und Geometrie
Similarity:
Dan, Jr. Burns, Steven Shnider (1980/81)
Manuscripta mathematica
Similarity: