Deformations of plane pseudocongruences with projective connection
Jaroslav Krejzlík (1971)
Czechoslovak Mathematical Journal
Similarity:
Jaroslav Krejzlík (1971)
Czechoslovak Mathematical Journal
Similarity:
Goldberg, Ludmila (1988)
International Journal of Mathematics and Mathematical Sciences
Similarity:
Jakub Beneš (1968)
Czechoslovak Mathematical Journal
Similarity:
Pavel Burda (1977)
Časopis pro pěstování matematiky
Similarity:
Keppens, Dirk, Van Maldeghem, Hendrik (2009)
Beiträge zur Algebra und Geometrie
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],...
Bo Berndtsson (1988)
Publicacions Matemàtiques
Similarity:
We construct a variant of Koppelman's formula for (0,q)-forms with values in a line bundle, O(l), on projective space. The formula is then applied to a study of a Radon transform for (0,q)-forms, introduced by Gindikin-Henkin-Polyakov. Our presentation follows along the basic lines of Henkin-Polyakov [3], with some simplifications.