Automatic Verification of Regular Constructions in Dynamic Geometry Systems (Q5453483): Difference between revisions

@@ 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 @@
+GEOTHER 1.1
@@ Property / describes a project that uses: GEOTHER 1.1 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GCLCprover
@@ Property / describes a project that uses: GCLCprover / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GeoThms
@@ Property / describes a project that uses: GeoThms / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Cinderella
@@ Property / describes a project that uses: Cinderella / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Eukleides
@@ Property / describes a project that uses: Eukleides / rank @@
+Normal rank
@@ 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.1007/978-3-540-77356-6_3
+Normal rank
@@ Property / OpenAlex ID @@
+W1559406907
@@ Property / OpenAlex ID: W1559406907 / rank @@
+Normal rank
@@ Property / cites work @@
+\textit{Theorema}: Towards computer-aided mathematical theory exploration
+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 @@
+GCLC — A Tool for Constructive Euclidean Geometry and More Than That
+Normal rank
@@ Property / cites work @@
+Automated Deduction in Geometry
@@ Property / cites work: Automated Deduction in Geometry / rank @@
+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 @@
+GEOTHER: A geometry theorem prover
@@ Property / cites work: GEOTHER: A geometry theorem prover / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Deduction in Geometry
@@ Property / cites work: Automated Deduction in Geometry / rank @@
+Normal rank