GeoLogic – Graphical Interactive Theorem Prover for Euclidean Geometry (Q5041061): Difference between revisions

@@ Property / describes a project that uses @@
+GeoProof
@@ Property / describes a project that uses: GeoProof / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GEX
@@ Property / describes a project that uses: GEX / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3046585454
@@ Property / OpenAlex ID: W3046585454 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.03586
@@ Property / arXiv ID: 2005.03586 / rank @@
+Normal rank
@@ Property / cites work @@
+A FORMAL SYSTEM FOR EUCLID’S<i>ELEMENTS</i>
@@ Property / cites work: A FORMAL SYSTEM FOR EUCLID’S<i>ELEMENTS</i> / rank @@
+Normal rank
@@ Property / cites work @@
+A deductive database approach to automated geometry theorem proving and discovering
+Normal rank
@@ Property / cites work @@
+Automated generation of readable proofs with geometric invariants. II: Theorem proving with full-angles
+Normal rank
@@ Property / cites work @@
+A graphical user interface for formal proofs in geometry
+Normal rank
@@ Property / cites work @@
+An Introduction to Java Geometry Expert
@@ Property / cites work: An Introduction to Java Geometry Expert / rank @@
+Normal rank