On projective recurrent spaces
A. N. R. Chowdhury (1968)
Matematički Vesnik
Similarity:
Displaying similar documents to “Some remarks on infinitesimal projective transformations in recurrent and Ricci-recurrent spaces”
On projective recurrent spaces
Connections with the tensor property associated with a quaternionic projective transformation. (Connexions ayant la propriété tensorielle associées à une transformation projectif quaternionique.)
Mihăilescu, Viorel, Udrişte, Constantin (1998)
Balkan Journal of Geometry and its Applications (BJGA)
Similarity:
General projective differential geometry of paths
A. D. Michal, A. B. Mewborn (1951)
Compositio Mathematica
Similarity:
On the coexistence of various geometries
Marek Kordos (1989)
Colloquium Mathematicae
Similarity:
On the projective geometry of -spreads
Kentaro Yano, Hitosi Hiramatu (1952)
Compositio Mathematica
Similarity:
On the axonometrical projection in the computer graphics.
Szabó, József (2001)
Acta Mathematica Academiae Paedagogicae Nyí regyháziensis. New Series [electronic only]
Similarity:
Integration of systems of n ordinary differential equations admitting projective infinitesimal transformation
B. Okiljević (1965)
Matematički Vesnik
Similarity:
-projective symmetries of fibered manifolds
Cătălin Tigăeru (1998)
Archivum Mathematicum
Similarity:
We prove that the set of the -projective symmetries is a Lie algebra.
Pascal’s Theorem in Real Projective Plane
Roland Coghetto (2017)
Formalized Mathematics
Similarity:
In this article we check, with the Mizar system [2], Pascal’s theorem in the real projective plane (in projective geometry Pascal’s theorem is also known as the Hexagrammum Mysticum Theorem)1. Pappus’ theorem is a special case of a degenerate conic of two lines. For proving Pascal’s theorem, we use the techniques developed in the section “Projective Proofs of Pappus’ Theorem” in the chapter “Pappus’ Theorem: Nine proofs and three variations” [11]. We also follow some ideas from Harrison’s...
Homography in ℝℙ
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],...
A non-homogeneous, symmetric contact projective structure
Lenka Zalabová (2014)
Open Mathematics
Similarity:
We construct a non-homogeneous contact projective structure which is symmetric from the point of view of parabolic geometries.