A New Characterisation of AC-Termination and Application. - Jean-Michel Gélis (CTRS, 1994)

User Centred Design in a Learning Environment Based on a Computer Algebra System. - Dominique Lenne; Jean-Michel Gélis (WCCE, 2001)