Some reflections on dynamic geometry systems (the GUI for ADG)

Abstract

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.