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

@@ Property / describes a project that uses @@
+HOL Light
@@ Property / describes a project that uses: HOL Light / 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 @@
+Prover9
@@ Property / describes a project that uses: Prover9 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+OTT2MIZ
@@ Property / describes a project that uses: OTT2MIZ / 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-0011
+Normal rank
@@ Property / OpenAlex ID @@
+W2758751785
@@ Property / OpenAlex ID: W2758751785 / 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 @@
+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