RT Conference Proceedings
T1 Some reflections on dynamic geometry systems (the GUI for ADG)
A1 Roanes-Lozano, Eugenio
A1 Roanes-Macías, Eugenio
AB Dynamic Geometry Systems (DGS) are the Graphic User Interfaces for Automatic Deduction in Geometry (ADG). We will develop below some reflections regarding how geometric data are introduced to the most frequently adopted DGS and how the constructive geometric processes (that are similar to the programs of "usual" computer languages) are stored. The later can be used as input for ADG processes.
YR 2014
FD 2014
LK https://hdl.handle.net/20.500.14352/36172
UL https://hdl.handle.net/20.500.14352/36172
LA eng
DS Docta Complutense
RD 9 abr 2025