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

@@ 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