Group of homography in real projective plane

DOI10.1515/forma-2017-0005zbMath1365.51014OpenAlexW2616597022MaRDI QIDQ2356938

Roland Coghetto

Publication date: 7 June 2017

Published in: Formalized Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1515/forma-2017-0005

zbMATH Keywords

projectivityprojective transformationreal projective planegroup of homography

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Projective analytic geometry (51N15)

Related Items (3)

Klein-Beltrami model. III ⋮ Pascal's theorem in real projective plane ⋮ Klein-Beltrami model. II

Uses Software

• Mizar
• Archive Formal Proofs
• Tarskis_Geometry

Cites Work

• Homography in \(\mathbb{R}\mathbb{P}^2\)
• Perspectives on Projective Geometry
• Mizar: State-of-the-art and Beyond
• Unnamed Item
• Unnamed Item

This page was built for publication: Group of homography in real projective plane