L’une des spécificités de la résolution algébrique est le raisonnement par équivalence. Cependant, l’enseignement de l’algèbre au collège ne le prend pas en charge. Ainsi, les élèves travaillent par implication sans avoir de contrôle sur leurs réponses. En particulier, dans la résolution des systèmes des équations linéaires, les élèves procèdent rarement par équivalence. Nous proposons dans cet atelier de montrer comment le logiciel Aplusix, par ses interactions, peut favoriser l’apprentissage de la résolution des équations et les systèmes d’équations par équivalence.