New dynamics in dynamic geometry: dragging constructed points (Q2334574): Difference between revisions

@@ Property / cites work @@
+Q4868585
@@ Property / cites work: Q4868585 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated theorem proving in GeoGebra: current achievements
+Normal rank
@@ Property / cites work @@
+Automated generation of geometric theorems from images of diagrams
+Normal rank
@@ Property / cites work @@
+Machine Proofs in Geometry
@@ Property / cites work: Machine Proofs in Geometry / rank @@
+Normal rank
@@ Property / cites work @@
+Q5322332
@@ Property / cites work: Q5322332 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4802399
@@ Property / cites work: Q4802399 / rank @@
+Normal rank
@@ Property / cites work @@
+GCLC — A Tool for Constructive Euclidean Geometry and More Than That
+Normal rank
@@ Property / cites work @@
+Geometry constructions language
@@ Property / cites work: Geometry constructions language / rank @@
+Normal rank
@@ Property / cites work @@
+Using Gröbner bases to reason about geometry problems
+Normal rank
@@ Property / cites work @@
+Towards Understanding Triangle Construction Problems
+Normal rank
@@ Property / cites work @@
+Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems
+Normal rank
@@ Property / cites work @@
+A formal definition of the Hough transform: properties and relationships
+Normal rank
@@ Property / cites work @@
+Q4254919
@@ Property / cites work: Q4254919 / rank @@
+Normal rank
@@ Property / cites work @@
+Using jointly geometry and algebra to determine RC-constructibility
+Normal rank
@@ Property / cites work @@
+Curvature based shape detection
@@ Property / cites work: Curvature based shape detection / rank @@
+Normal rank
@@ Property / cites work @@
+Triangle Constructions with Three Located Points
@@ Property / cites work: Triangle Constructions with Three Located Points / rank @@
+Normal rank