(en complément au message précédent)
à l'IREM de La Réunion nous travaillons beaucoup avec CaRMetal, et en ce moment sur l'algorithmique avec CaRMetal.
Une première prise en main pour les enseignants (avec PDF)
http://www.reunion.iufm.fr/recherch...
Et un article en deux parties sur l'itération en géométrie repérée dynamique
http://www.reunion.iufm.fr/recherch...
et une suite plus technique (mais ciblé encore géométrie repérée)
http://www.reunion.iufm.fr/recherch...
Je rejoins les autres commentaires : chapeau bas au programmeur !!!