Du fait de son implémentation dans les calculatrices, l’outil formel est facilement accessible pour les professeurs et pour les élèves, son utilisation reste cependant limitée et pourtant ce type de logiciel offre des possibilités multiples et variées qui peuvent certainement aider dans le processus de construction des connaissances en mathématiques. L’auteur de ce chapitre propose un ensemble de fiches dans lesquelles une utilisation raisonnée du calcul formel peut s’avérer utile.