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

@@ Property / describes a project that uses @@
+GeoGebra
@@ Property / describes a project that uses: GeoGebra / 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 @@
+gcl
@@ Property / describes a project that uses: gcl / 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 @@
+GCLC
@@ Property / describes a project that uses: GCLC / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Xeukleides
@@ Property / describes a project that uses: Xeukleides / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+OpenGeoProver
@@ Property / describes a project that uses: OpenGeoProver / 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 @@
+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 @@
+sketchometry
@@ Property / describes a project that uses: sketchometry / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ArgoTriCS
@@ Property / describes a project that uses: ArgoTriCS / 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.jsc.2018.12.002
+Normal rank
@@ Property / OpenAlex ID @@
+W2907162664
@@ Property / OpenAlex ID: W2907162664 / rank @@
+Normal rank
@@ 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
@@ Property / Wikidata QID @@
+Q128642164
@@ Property / Wikidata QID: Q128642164 / rank @@
+Normal rank