Group of Homography in Real Projective Plane

Group of Homography in Real Projective Plane

Using the Mizar system [2], we formalized that homographies of the projective real plane (as defined in [5]), form a group.

Bibliographic Details
Main Author: Coghetto Roland
Format: Article
Language:English
Published: Sciendo 2017-03-01
Series:Formalized Mathematics
Subjects:
51n15
03b35
projectivity
projective transformation
real projective plane
group of homography
identifier: anproj_9
version: 8.1.05 5.40.1289
Online Access:https://doi.org/10.1515/forma-2017-0005

Internet

https://doi.org/10.1515/forma-2017-0005

Similar Items