Cet article porte sur l'emploi de traces dans un contexte éducatif et sur leur utilisation dans un EIAH. La première partie présente le logiciel Aplusix, un micromonde pour l'apprentissage de l'algèbre qui permet l'enregistrement de productions d'élèves, comme celles obtenues dans l'environnement classique papier, mais comportant de plus d'autres informations, comme le temps, les hésitations, les corrections. Ce recueil produit une trace brute qui représente une modélisation comportementale des élèves dont les utilisations sont immédiates (visualisation, statistiques). La deuxième partie porte sur des traitements et diagnostics locaux effectués sur ces traces dans l'environnement informatique Anaïs. Ce logiciel procède à une restriction, un découpage et une interprétation des traces brutes et mène à la production d'une trace enrichie contenant des règles algébriques expliquant les transformations des élèves et identifiant le contexte où elles apparaissent. La troisième partie présente une modélisation globale des connaissances des élèves, avec une étude de cas sur la résolution des équations de degré 1. La modélisation des élèves s'est appuyée sur la confrontation des analyses manuelles et automatiques d'expérimentions ayant eu lieu dans des établissements scolaires de différents pays.
