J. Anderson, A. Corbett, K. 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

N. Balacheff and G. M. , Diagnostic et raisonnement explicatif dans cabri-geometre, 1993.

B. Bloom, Taxonomy of educational objectives: The classification of educational goals: Handbook I, cognitive domain, 1956.

B. Bos, H. Lie, C. Lilley, and I. Jacobs, Cascading Style Sheets, level 2 CSS2 Specification, 1998.

O. Caprotti and A. M. Cohen, Draft of the open math standard. (Open Math Consortium, 1998.

B. Char, G. Fee, K. Geddes, G. Gonnet, and M. Monagan, A tutorial introduction to Maple, Journal of Symbolic Computation, vol.2, issue.2, pp.179-200, 1986.
DOI : 10.1016/S0747-7171(86)80021-9

A. Cohen, H. Cuypers, and H. Sterk, Algebra interactive, 1999.

A. Corbett, K. Koedinger, and J. Anderson, Intelligent tutoring systems Handbook of human-computer interaction (849- 874) The Netherlands, 1997.

B. Dahn and H. Wolters, Analysis individuell, 2000.

C. T. Fosnot, Constructivism: A psychological theory of learning Constructivism: Theory, perspectives, and practice ( 8-31), 1996.

A. Franke and M. Kohlhase, System Description: MathWeb, an Agent-Based Communication Layer for Distributed Automated Theorem Proving, Proceedings of the 16th international conference on automated deduction, pp.217-221, 1999.
DOI : 10.1007/3-540-48660-7_17

A. Franke and M. Kohlhase, MBase: Representing mathematical Knowledge in a Relational Data Base, Proceedings of the 17th international conference on automated deduction, 2000.
DOI : 10.1016/S1571-0661(05)80615-2

E. Friedman-hill, Jess, the java expert system shell ( SAND98-8206). Sandia National Laboratories, 1997.

G. Holland, Geolog-win, 1996.

J. Kay, Stereotypes, Student Models and Scrutability, Intelligent tutoring systems, 5th international conference, pp.19-29, 2000.
DOI : 10.1007/3-540-45108-0_5

L. Kettel, J. Thomson, and J. Greer, Generating individualized hypermedia applications, Proceedings of ITS-2000 workshop on adaptive and intelligent webbased education systems, pp.28-36, 2000.

M. Kohlhase, OMDoc, ACM SIGSAM Bulletin, vol.34, issue.2, 2000.
DOI : 10.1145/362001.362021

M. Kohlhase, OMDoc, Proceedings of artificial intelligence and symbolic computation, 2000.
DOI : 10.1145/362001.362021

P. Libbrecht, E. Melis, M. Pollet, and C. Ullrich, Interactive exercises in the ActiveMathlearning environment, Issac-2001 workshop on internet accessible mathematical computation, 2001.

K. Marcke and . Van, GTE: An epistemological approach to instructional modeling, Instructional Science, vol.26, issue.3/4, pp.147-191, 1998.
DOI : 10.1023/A:1003090729860

E. Melis, C. Glasmacher, C. Ullrich, and P. Gerjets, Automated proof planning for instructional design, Annual conference of the cognitive science society, pp.633-638, 2001.

E. Melis and J. Siekmann, Knowledge-based proof planning, Artificial Intelligence, vol.115, issue.1, pp.65-105, 1999.
DOI : 10.1016/S0004-3702(99)00076-4
URL : http://doi.org/10.1016/s0004-3702(99)00076-4

T. Murray, C. Condit, T. Shen, J. Piemonte, and S. Khan, Metalinks -a framework and authoring tool for adaptive hypermedia, Proceedings of AIED-99, pp.744-746, 1999.

J. Pearl, Probabilistic reasoning in intelligent systems: Networks of plausible inference, 1988.

D. Schifter, A constructivist perspective on teaching and learning mathematics Constructivism: Theory, perspectives, and practice (73-80), 1996.

A. Schoenfeld, A source book for college mathematics teaching, 1990.

M. Schönert, GAP -Groups, Algorithms, and Programming, 1995.

A. Sorgatz and R. Hillebrand, MuPAD -Ein Computeralgebra System I, Linux Magazin, vol.1295, 1995.

J. Vassileva, Dynamic course generation on the WWW, Proceedings of AIED'97, pp.498-505, 1997.

J. Vassileva, DCG+GTE: Dynamic courseware generation with teaching expertise, Instructional Science, vol.26, issue.3/4, pp.317-332, 1998.
DOI : 10.1023/A:1003015532585

G. Weber and P. Brusilovsky, ELM-ART an adaptive versatile system for web-based instruction, International Journal of Artificial Intelligence and Education, 2001.
URL : https://hal.archives-ouvertes.fr/hal-00197328

S. Wolfram, The Mathematica Book (fourth edition ), 1999.