V. Aleven and K. Koedinger, An effective metacognitive strategy: learning by doing and explaining with a computer-based Cognitive Tutor, Cognitive Science, vol.10, issue.2, pp.147-179, 2002.
DOI : 10.1207/s15516709cog2602_1

I. Arroyo, Animalwatch: an arithmetic ITS for elementary and middle school students Learning Algebra with the Computer, Fifth International Conference on Intelligent Tutoring Systems, 2000.

I. Arroyo, J. E. Beck, C. R. Beal, and B. P. Woolf, Learning within the ZPD with the AnimalWatch intelligent tutoring system, American Education Research Association Annual Meeting Symposia, 2003.

M. Artigue, M. Cerulli, M. Haspekian, and M. Maracci, Connecting and Integrating Theoretical Frames: The TELMA Contribution, International Journal of Computers for Mathematical Learning, vol.X, issue.1
DOI : 10.1007/s10758-009-9157-7

M. Beeson, Mathxpert, a computerized learning environment for Algebra, Trigonometry and Calculus, Journal of Artificial Intelligence in Education, pp.65-76, 1990.

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

R. M. Bottino and G. Chiappini, An innovative teaching and learning environment for school mathematics, Proceedings of the International Conference T.E.L.'03: Technology Enhanced Learning '03, pp.73-80, 2003.
URL : https://hal.archives-ouvertes.fr/hal-00190486

R. M. Bottino and C. Kynigos, Mathematics Education & digital technologies:facing the challenge of networking European research teams, International Journal of Computers for Mathematics Learning

M. Cerulli and M. A. Mariotti, A symbolic manipulator to introduce pupils to algebra theory, Proceedings of Workshop W6 " Learning Algebra with the Computer, 2000.
URL : https://hal.archives-ouvertes.fr/hal-00190516

M. Cerulli, B. Pedemonte, and E. Robotti, An integrated perspective to approach technology in mathematics education, Proceedings of CERME 4. IQS Fundemi Business Institute, pp.1389-1399, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00190391

H. Chaachoua, J. Nicaud, A. Bronner, and D. Bouhineau, APLUSIX, A learning environment for algebra, actual use and benefits, Proceedings of ICME-10, 2004.
URL : https://hal.archives-ouvertes.fr/hal-00190393

N. Heffernan, K. R. Koedinger, and K. , Building a 3rd Generation ITS for Symbolization: Adding a Tutorial Model with Multiple Tutorial Strategies, Workshop entitled "Learning Algebra with the computer, a transdisciplinary workshop, pp.12-22, 2000.

N. Heffernan, Web-based evaluations showing both cognitive and motivational benefits of the Ms. Lindquist tutor, 11th International Conference Artificial Intelligence in Education, pp.115-122, 2003.

O. Hû and P. Trigano, A tool for evaluation using dynamic navigation in a set of questions, 2000.

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

C. Kynigos, E-slate Logo as a basis for constructing microworlds with mathematics teachers, Proceedings of the Ninth Eurologo Conference, pp.65-74, 2001.

C. Kynigos, Using half-baked microworlds to challenge teacher educators??? knowing, International Journal of Computers for Mathematical Learning, vol.15, issue.3, 2007.
DOI : 10.1007/s10758-007-9114-2

C. Kynigos and G. Psycharis, The role of context in research involving the design and use of digital media for the learning of mathematics: boundary objects s vehicles for integration, International Journal of Computers for Mathematical Learning

D. Lepp, M. Issakova, and V. Vaiksaar, Expression Editor Features That Simplify Student Work On Manipulating Expressions, Proceedings of the 7th International Conference on Technology in Mathematics Teaching, pp.26-29, 2005.

E. Melis, E. Andres, A. Franke, A. Frischauf, G. Goguadse et al., ActiveMath: A web-based learning environment, International Journal of Artificial Intelligence in Education, vol.12, pp.385-407, 2001.
URL : https://hal.archives-ouvertes.fr/hal-00197329

E. Melis, M. Moormann, C. Ullrich, G. Goguadze, and P. Libbrecht, How ActiveMath Supports Moderate Constructivist Mathematics Teaching, Proceedings of the 8th International Conference on Technology in Mathematics Teaching, 2007.

C. Morgan, M. A. Mariotti, and L. Maffei, Representation in Computational Environments: Epistemological and Social Distance, International Journal of Computers for Mathematical Learning, vol.10, issue.2
DOI : 10.1007/s10758-009-9156-8

J. Nanard and M. Nanard, La conception d'hypermédias. Hypertextes et Hypermédias, numéro hors série, pp.15-34, 1998.

J. Nicaud, A questionnaire for educational environments for algebraic reasoning. Unpublished paper presented in a working group in the Melbourne ICMI study in, 2001.

J. Nicaud, D. Bouhineau, H. Chaachoua, T. Huguet, and A. Bronner, A computer program for the learning of algebra: description and first experiment, Proceedings of the PEG 2003 conference, 2003.
URL : https://hal.archives-ouvertes.fr/hal-00190396

J. Nicaud, D. Bouhineau, and H. Chaachoua, Mixing Microworld and Cas Features in Building Computer Systems that Help Students Learn Algebra, International Journal of Computers for Mathematical Learning, vol.9, issue.2, pp.169-211, 2004.
DOI : 10.1023/B:IJCO.0000040890.20374.37

URL : https://hal.archives-ouvertes.fr/hal-00190741

J. Nicaud, State of the art of didactical ICT systems, 2006.

T. Project, Kaleidoscope network of excellence

S. Nogry, S. Jean-daubias, and N. Ollagnier-beldame, Evaluation des EIAH : une nécessaire diversité des méthodes, pp.265-271, 2004.

R. Prank, M. Issakova, D. Lepp, V. Vaiksaar, and E. Tõnisson, Problem solving environment T-algebra, Proceedings of 7th International Conference Teaching Mathematics, 2006.

B. Senach, L'évaluation ergonomique des interfaces homme ? machine, L'ergonomie dans la conception des projets informatiques, Octares éditions, pp.69-122, 1993.

B. Senach, Evaluation ergonomique des interfaces homme-machine : une revue de la littérature, 1990.

D. Squires and J. Preece, Predicting quality in educational software:, Interacting with Computers, vol.11, issue.5, pp.467-483, 1999.
DOI : 10.1016/S0953-5438(98)00063-0

P. Tchounikine, M. Baker, N. Balacheff, M. Baron, A. Derycke et al., Platon-1: quelques dimensions pour l'analyse des travaux de recherche en conception d'EIAH. Rapport de l'Action Spécifique « Fondements théoriques et méthodologiques de la conception des EIAH, 2004.
URL : https://hal.archives-ouvertes.fr/hal-00190179

J. Trgalova, Analysis of a selection of interactive learning environments for mathematics, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00591620

P. Trigano and E. Giacomini-pacurar, Cepiah: a method for the design and evaluation of pedagogical hypermedia, Higher Education in Europe, vol.16, issue.1, pp.116-136, 2004.
DOI : 10.1007/BF02297358

M. Vivet, Evaluating educational technologies: Evaluation of teaching material versus evaluation of learning?, Proceedings of the Third International Conference, CALISCE '96, pp.37-38, 1996.
DOI : 10.1007/BFb0022588

E. Wenger, Artificial intelligence and tutoring systems: computational and cognitive approaches to the communication of knowledge, 1987.
URL : https://hal.archives-ouvertes.fr/hal-00703016