Pascal's theorem in real projective plane (Q2407506): Difference between revisions

@@ 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 @@
+Homography in \(\mathbb{R}\mathbb{P}^2\)
@@ Property / cites work: Homography in \(\mathbb{R}\mathbb{P}^2\) / rank @@
+Normal rank
@@ Property / cites work @@
+Group of homography in real projective plane
@@ Property / cites work: Group of homography in real projective plane / rank @@
+Normal rank
@@ Property / cites work @@
+Types for Proofs and Programs
@@ Property / cites work: Types for Proofs and Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Mechanizing complemented lattices within Mizar type system
+Normal rank
@@ Property / cites work @@
+Q3980491
@@ Property / cites work: Q3980491 / rank @@
+Normal rank
@@ Property / cites work @@
+ATP and presentation service for Mizar formalizations
+Normal rank