M. Beeson, Design principles of Mathpert: software to support education in algebra and calculus, Human Interfaces to Symbolic Computation, 1996.
DOI : 10.1007/978-3-7091-6461-7_9

K. R. Koedinger, J. R. Anderson, W. H. Hadley, and M. A. Mark, Intelligent tutoring goes to school in the big city, CarnegieLearning International Journal of Artificial Intelligence in Education, vol.8, pp.30-43, 1997.
URL : https://hal.archives-ouvertes.fr/hal-00197383

J. M. Laborde, Designing Intelligent Tutorial Systems: the case of geometry and Cabri-géomètre, IFIP WG 3.1 Working Conference on Educational Software at the Secondary Education Level, 1989.

J. F. Nicaud, C. Aubertin, A. Nguyen-xuan, M. Saïdi, and P. Wach, APLUSIX: a learning environment for student acquisition of strategic knowledge in algebra, Proceedings of PRICAI'90, 1990.

J. F. Nicaud, D. Bouhineau, and C. H. , Mixing microworld and CAS features in building computer systems that help students to learn algebra, in Int, Journal of Computers for Mathematical Learning, vol.9, issue.2, 2004.

J. F. Nicaud, H. Chaachoua, M. Bittar, and D. Bouhineau, Student's modelling with a lattice of conceptions in the domain of linear equations and inequations. Workshop proceeding of the AI-ED conference, 2005.