Homography in \(\mathbb{R}\mathbb{P}^2\) (Q520382): Difference between revisions

@@ Property / describes a project that uses @@
+Isabelle/HOL
@@ Property / describes a project that uses: Isabelle/HOL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Mizar
@@ Property / describes a project that uses: Mizar / 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-2016-0020
+Normal rank
@@ Property / OpenAlex ID @@
+W2592432152
@@ Property / OpenAlex ID: W2592432152 / rank @@
+Normal rank
@@ Property / cites work @@
+Cayley factorization and the area principle
@@ Property / cites work: Cayley factorization and the area principle / rank @@
+Normal rank
@@ Property / cites work @@
+Cancellation Patterns in Automatic Geometric Theorem Proving
+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 @@
+A Formalization of Grassmann-Cayley Algebra in COQ and Its Application to Theorem Proving in Projective Geometry
+Normal rank
@@ Property / cites work @@
+Q3980491
@@ Property / cites work: Q3980491 / rank @@
+Normal rank
@@ Property / cites work @@
+Formalizing Projective Plane Geometry in Coq
@@ Property / cites work: Formalizing Projective Plane Geometry in Coq / rank @@
+Normal rank
@@ Property / cites work @@
+Linear Transformations of Euclidean Topological Spaces
+Normal rank
@@ Property / cites work @@
+Mechanical theorem proving in projective geometry
@@ Property / cites work: Mechanical theorem proving in projective geometry / rank @@
+Normal rank
@@ Property / cites work @@
+Perspectives on Projective Geometry
@@ Property / cites work: Perspectives on Projective Geometry / rank @@
+Normal rank