Group of homography in real projective plane (Q2356938): Difference between revisions

@@ Property / DOI @@
-.1515/forma-2017-0005
@@ Property / DOI: 10.1515/forma-2017-0005 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+Mizar
@@ Property / describes a project that uses: Mizar / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Archive Formal Proofs
@@ Property / describes a project that uses: Archive Formal Proofs / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Tarskis_Geometry
@@ Property / describes a project that uses: Tarskis_Geometry / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1515/forma-2017-0005
+Normal rank
@@ Property / OpenAlex ID @@
+W2616597022
@@ Property / OpenAlex ID: W2616597022 / rank @@
+Normal rank
@@ Property / cites work @@
+Mizar: State-of-the-art and Beyond
@@ Property / cites work: Mizar: State-of-the-art and Beyond / rank @@
+Normal rank
@@ Property / cites work @@
+Q3270252
@@ Property / cites work: Q3270252 / rank @@
+Normal rank
@@ Property / cites work @@
+Homography in \(\mathbb{R}\mathbb{P}^2\)
@@ Property / cites work: Homography in \(\mathbb{R}\mathbb{P}^2\) / rank @@
+Normal rank
@@ Property / cites work @@
+Q3980491
@@ Property / cites work: Q3980491 / rank @@
+Normal rank
@@ Property / cites work @@
+Perspectives on Projective Geometry
@@ Property / cites work: Perspectives on Projective Geometry / rank @@
+Normal rank
@@ Property / DOI @@
+.1515/FORMA-2017-0005
@@ Property / DOI: 10.1515/FORMA-2017-0005 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2356938