New dynamics in dynamic geometry: dragging constructed points
DOI10.1016/J.JSC.2018.12.002zbMATH Open1444.68277OpenAlexW2907162664WikidataQ128642164 ScholiaQ128642164MaRDI QIDQ2334574FDOQ2334574
Authors: Milica Selaković, Vesna Marinkovic, 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
Recommendations
Symbolic computation and algebraic computation (68W30) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05)
Cites Work
- GCLC -- a tool for constructive Euclidean geometry and more than that
- Geometry constructions language
- Title not available (Why is that?)
- Using Gröbner bases to reason about geometry problems
- Automated theorem proving in GeoGebra: current achievements
- Machine Proofs in Geometry
- Towards understanding triangle construction problems
- Computer theorem proving for verifiable solving of geometric construction problems
- Triangle Constructions with Three Located Points
- An extension of triangle constructions from located points
- A formal definition of the Hough transform: properties and relationships
- Curvature based shape detection
- Title not available (Why is that?)
- Using jointly geometry and algebra to determine RC-constructibility
- Automated generation of geometric theorems from images of diagrams
- Title not available (Why is that?)
Cited In (3)
Uses Software
This page was built for publication: New dynamics in dynamic geometry: dragging constructed points
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2334574)
