New dynamics in dynamic geometry: dragging constructed points

DOI10.1016/j.jsc.2018.12.002zbMath1444.68277OpenAlexW2907162664WikidataQ128642164 ScholiaQ128642164MaRDI QIDQ2334574

Vesna Marinković, Milica Selaković, Predrag Janičić

Publication date: 7 November 2019

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jsc.2018.12.002

zbMATH Keywords

dynamic geometry softwaregeometry construction problems

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05)

Uses Software

• Cinderella
• GCLC
• Xeukleides
• GeoGebra
• Geometer's Sketchpad
• Eukleides
• GCLCprover
• GeoThms
• OpenGeoProver
• gcl
• sketchometry
• ArgoTriCS

Cites Work

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

This page was built for publication: New dynamics in dynamic geometry: dragging constructed points