EJMT Abstract

Different technologies such as Computer Algebra Systems (CAS) and Dynamical Geometry Systems (DGS) have been developed along the last decades. CAS have high abilities for symbolic computations and also graphical features, and DGS are characterized by their interactivity and exploratory abilities. Due to the implementation of CAS features, DGS are now equipped with algorithms and commands which enable automated exploration and proof. For numerous situations, the symbolic strength of a CAS is needed besides the DGS, and a dialog must be installed between them. In this paper, we show the efficiency of this dialog, which we call networking of technologies: it leads to conjectures and enables to verify them. It may lead to new understanding, beyond the first conjecture. The starting point (the artifact) of a new instrumental genesis is now a pair DGS-CAS.