New dynamics in dynamic geometry: dragging constructed points

DOI10.1016/J.JSC.2018.12.002MaRDI QIDQ2334574zbMATH OpenOpenAlexWikidataFDO

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

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)

Recommendations

• About tracing problems in dynamic geometry
• A touch-operation-based dynamic geometry system: design and implementation
• Automated Deduction in Geometry
• scientific article; zbMATH DE number 1021878
• Development of automatic reasoning tools in GeoGebra

Cites work

• scientific article; zbMATH DE number 1313585 (Why is no real title available?)
• scientific article; zbMATH DE number 1897396 (Why is no real title available?)
• scientific article; zbMATH DE number 852536 (Why is no real title available?)
• A formal definition of the Hough transform: properties and relationships
• An extension of triangle constructions from located points
• Automated generation of geometric theorems from images of diagrams
• Automated theorem proving in GeoGebra: current achievements
• Computer theorem proving for verifiable solving of geometric construction problems
• Curvature based shape detection
• GCLC -- a tool for constructive Euclidean geometry and more than that
• Geometry constructions language
• Machine Proofs in Geometry
• Towards understanding triangle construction problems
• Triangle Constructions with Three Located Points
• Using Gröbner bases to reason about geometry problems
• Using jointly geometry and algebra to determine RC-constructibility

Cited in

(3)

• Inflexions of Spiric curves: a tale of two tori
• About tracing problems in dynamic geometry
• A touch-operation-based dynamic geometry system: design and implementation

Describes a project that uses

Uses Software

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

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)