Dynamic geometry, implication and abduction: a case study

In this paper we illustrate the role of dynamic geometry as an environment that propitiates the use of empirical explorations to favor learning to prove. This is possible thanks to abductive processes, related to the establishment of implications that university students of a plane geometry course c...