Homography in RP^2
From MaRDI portal
Publication:520382
DOI10.1515/FORMA-2016-0020zbMATH Open1357.51021OpenAlexW2592432152MaRDI QIDQ520382FDOQ520382
Authors: Roland Coghetto 
Publication date: 3 April 2017
Published in: Formalized Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1515/forma-2016-0020
Recommendations
projectivityprojective transformationreal projective planeprojective collineationGrassmann-Plücker relation
Cites Work
- Mizar: state-of-the-art and beyond
- Perspectives on projective geometry. A guided tour through real and complex geometry
- Formalizing projective plane geometry in Coq
- Mechanical theorem proving in projective geometry
- Linear transformations of Euclidean topological spaces
- Cancellation patterns in automatic geometric theorem proving
- A formalization of Grassmann-Cayley algebra in Coq and its application to theorem proving in projective geometry
- Title not available (Why is that?)
- Cayley factorization and the area principle
Cited In (8)
- Factoring a homography to analyze projective distortion
- Pappus's hexagon theorem in real projective plane
- Title not available (Why is that?)
- Klein-Beltrami model. II
- Group of homography in real projective plane
- Pascal's theorem in real projective plane
- Klein-Beltrami model. IV
- Title not available (Why is that?)
Uses Software
This page was built for publication: Homography in \(\mathbb{R}\mathbb{P}^2\)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q520382)
