A graphical user interface for formal proofs in geometry (Q2462636): Difference between revisions

@@ Property / describes a project that uses @@
+GeoView
@@ Property / describes a project that uses: GeoView / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Geometrix
@@ Property / describes a project that uses: Geometrix / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Baghera
@@ Property / describes a project that uses: Baghera / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Geometry Tutor
@@ Property / describes a project that uses: Geometry Tutor / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CHYPRE
@@ Property / describes a project that uses: CHYPRE / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GEX
@@ Property / describes a project that uses: GEX / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Isar
@@ Property / describes a project that uses: Isar / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Proof General Kit
@@ Property / describes a project that uses: Proof General Kit / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MMP/Geometer
@@ Property / describes a project that uses: MMP/Geometer / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Geometer's Sketchpad
@@ Property / describes a project that uses: Geometer's Sketchpad / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Dr.Doodle
@@ Property / describes a project that uses: Dr.Doodle / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Pcoq
@@ Property / describes a project that uses: Pcoq / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2088823840
@@ Property / OpenAlex ID: W2088823840 / rank @@
+Normal rank
@@ Property / cites work @@
+A Framework for Interactive Proof
@@ Property / cites work: A Framework for Interactive Proof / rank @@
+Normal rank
@@ Property / cites work @@
+Term Rewriting and All That
@@ Property / cites work: Term Rewriting and All That / rank @@
+Normal rank
@@ Property / cites work @@
+Q4888736
@@ Property / cites work: Q4888736 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994509
@@ Property / cites work: Q3994509 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4264711
@@ Property / cites work: Q4264711 / rank @@
+Normal rank
@@ Property / cites work @@
+Machine Proofs in Geometry
@@ Property / cites work: Machine Proofs in Geometry / rank @@
+Normal rank
@@ Property / cites work @@
+Automated generation of readable proofs with geometric invariants. I: Multiple and shortest proof generation
+Normal rank
@@ Property / cites work @@
+Automated Deduction in Geometry
@@ Property / cites work: Automated Deduction in Geometry / rank @@
+Normal rank
@@ Property / cites work @@
+Q4789490
@@ Property / cites work: Q4789490 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4254919
@@ Property / cites work: Q4254919 / rank @@
+Normal rank
@@ Property / cites work @@
+Formalizing Hilbert’s Grundlagen in Isabelle/Isar
+Normal rank
@@ Property / cites work @@
+Theorem Proving in Higher Order Logics
@@ Property / cites work: Theorem Proving in Higher Order Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Mechanical Theorem Proving in Tarski’s Geometry
@@ Property / cites work: Mechanical Theorem Proving in Tarski’s Geometry / rank @@
+Normal rank
@@ Property / cites work @@
+Q4522682
@@ Property / cites work: Q4522682 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3862391
@@ Property / cites work: Q3862391 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Reasoning
@@ Property / cites work: Automated Reasoning / rank @@
+Normal rank