2001 Calcul formel et apprentissage des mathématiques. Conception d’environnements d’apprentissage utilisant le calcul symbolique : l’exemple de LIMITES. p. 73-82. Auteurs : Gelis Jean-Michel ; Lenne Dominique
2002 Les Dossiers de l’ingénierie éducative. N° 40. p. 12-17. Vers des environnements de calcul formel associant l’exploration et la preuve. Auteurs : Lagrange Jean-Baptiste ; Lenne Dominique
