GeoThms — a Web System for Euclidean Constructive Geometry (Q2867934): Difference between revisions

@@ Property / describes a project that uses @@
+GeoView
@@ Property / describes a project that uses: GeoView / 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.1016/j.entcs.2006.09.020
+Normal rank
@@ Property / OpenAlex ID @@
+W2157101175
@@ Property / OpenAlex ID: W2157101175 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q57552312
@@ Property / Wikidata QID: Q57552312 / rank @@
+Normal rank
@@ Property / cites work @@
+\textit{Theorema}: Towards computer-aided mathematical theory exploration
+Normal rank
@@ Property / cites work @@
+Automated production of traditional proofs for theorems in Euclidean geometry. I: The Hilbert intersection point theorems
+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 @@
+GeoThms — a Web System for Euclidean Constructive Geometry
+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 @@
+Integrating Dynamic Geometry Software, Deduction Systems, and Theorem Repositories
+Normal rank
@@ Property / cites work @@
+Q4254919
@@ Property / cites work: Q4254919 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Deduction in Geometry
@@ Property / cites work: Automated Deduction in Geometry / rank @@
+Normal rank