Projective modules over clean orders
K. W. Roggenkamp (1969)
Compositio Mathematica
Similarity:
K. W. Roggenkamp (1969)
Compositio Mathematica
Similarity:
Stein Arild Stromme (1983)
Mathematische Annalen
Similarity:
Zvonimir Janko, Tran van Trung (1980)
Mathematische Zeitschrift
Similarity:
Mathai, Varghese, Melrose, Richard B., Singer, Isadore M. (2005)
Geometry & Topology
Similarity:
P. Manoharan (1992)
Mathematische Zeitschrift
Similarity:
Albrecht Beutelspacher (1983)
Mathematische Zeitschrift
Similarity:
Keppens, Dirk, Van Maldeghem, Hendrik (2009)
Beiträge zur Algebra und Geometrie
Similarity:
A.A. Bruen, J.W.P. Hirschfeld (1986)
Mathematische Zeitschrift
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],...
Ascher Wagner (1969)
Mathematische Zeitschrift
Similarity:
Mathias Peternell (1987)
Mathematische Zeitschrift
Similarity:
Christoph Hering (1973)
Mathematische Zeitschrift
Similarity:
Drake, David A., Larson, Jean A. (1992)
Experimental Mathematics
Similarity: