J. R. Anderson, A. T. Corbett, K. R. Koedinger, and R. Pelletier, Cognitive Tutors: Lessons Learned, Journal of the Learning Sciences, vol.21, issue.6, pp.167-207, 1995.
DOI : 10.1016/0364-0213(88)90023-7
URL : https://hal.archives-ouvertes.fr/hal-00699789

J. R. Anderson and R. Pelletier, A development system for model? tracing tutors, Proceedings of the International Conference of the Learning Sciences, pp.1-8, 1991.

B. S. Bloom, The 2 Sigma Problem: The Search for Methods of Group Instruction as Effective as One-to-One Tutoring, Educational Researcher, vol.13, issue.6, pp.3-16, 1984.
DOI : 10.3102/0013189X013006004

A. L. Brown, Design experiments: Theoretical and methodological challenges in creating complex interventions, The Journal of the Learning Sciences, vol.2, pp.137-178, 1992.

A. T. Corbett and J. R. Anderson, Feedback control and learning to program with the CMU LISP tutor, Paper presented at the annual meeting of the American Educational Research Association, 1991.

A. T. Corbett and J. R. Anderson, Student modeling and mastery learning in a computer-based programming tutor, Proceedings of the Second International Conference on Intelligent Tutoring Systems, 1992.
DOI : 10.1007/3-540-55606-0_49

A. T. Corbett, J. R. Anderson, V. H. Carver, and S. A. Brancolini, Individual differences and predictive validity in student modeling, The Proceedings of the Sixteenth Annual Conference of the Cognitive Science Society, 1994.

K. R. Koedinger and J. R. Anderson, Abstract Planning and Perceptual Chunks: Elements of Expertise in Geometry, Cognitive Science, vol.19, issue.4, pp.511-550, 1990.
DOI : 10.1207/s15516709cog1404_2

K. R. Koedinger and J. R. Anderson, Interaction of deductive and inductive reasoning strategies in geometry novices, Proceedings of the Thirteenth Annual Conference of the Cognitive Science Society, 1991.

K. R. Koedinger and J. R. Anderson, Effective use of intelligent software in high school math classrooms, Proceedings of the World Conference on Artificial Intelligence in Education, pp.241-248, 1993.

V. Charlottesville, Association for the Advancement of Computing in Education

K. R. Koedinger and J. R. Anderson, Illustrating Principled Design: The Early Evolution of a Cognitive Tutor for Algebra Symbolization, Interactive Learning Environments, vol.4, issue.1, 1996.
DOI : 10.1207/s1532690xci0501_2

K. R. Koedinger and H. J. Tabachneck, Verbal reasoning as a critical component in early algebra Curriculum and Evaluation Standards for School Mathematics, Paper presented at the annual meeting of the American Educational Research Association, 1989.

L. B. Resnick, Learning in school and out, Educational Researcher, vol.16, issue.9, pp.13-20, 1987.

J. W. Schofield, D. Evans-rhodes, and B. R. Huber, Artificial Intelligence in the Classroom: The Impact of a Computer-Based Tutor on Teachers and Students, Social Science Computer Review, vol.8, issue.1, pp.24-41, 1990.
DOI : 10.1177/089443939000800104

R. Wertheimer, The geometry proof tutor: An " intelligent " computer-based tutor in the classroom, Mathematics Teacher, pp.308-317, 1990.