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.

Displaying similar documents to “On the discriminant variety of a projective manifold.”

Projective spaces of second order.

Andrzej Miernowski, Witold Mozgawa (1997)

Collectanea Mathematica

Similarity:

Grassmannians of higher order appeared for the first time in a paper of A. Szybiak in the context of the Cartan method of moving frame. In the present paper we consider a special case of higher order Grassmannian, the projective space of second order. We introduce the projective group of second order acting on this space, derive its Maurer-Cartan equations and show that our generalized projective space is a homogeneous space of this group.

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],...