TY - JOUR TI - DEFI : outil didactique et d’aide à la recherche en EIAO AU - Ag Almouloud, Saddo AU - Giorgiutti, Italo T2 - Recherches En Didactique Des Mathématiques AB - Our aim is first to show the part played by AI in the elaboration of the software DEFI ( Interactive Proof and Exploration of Figure) then the work in progress on «student's modelisation» . We present a modelisation scheme got by Ag Almouloud. It is the result of the study of a dialectic procedure with computer assistance from the software DEFI. The "implicative hierarchical analysis" is the main tool used to analyse the work of students. DA - 1994/// PY - 1994 VL - 14 IS - 1.2 SP - 139 EP - 164 J2 - RDM LA - FR SN - 0246–9367 UR - https://revue-rdm.com/1994/defi-outil-didactique-et-d-aide-a/ ER -