ActiveMath: An Intelligent Tutoring System for Mathematics

1. Baumert, J., Lehmann, R., Lehrke, M., Schmitz, B., Clausen, M., Hosenfeld, I., Köller, O., Neubrand, J.: Mathematisch-naturwissenschaftlicher Unterricht im internationalen Vergleich. Leske und Budrich (1997)

   Google Scholar 

2. Bloom, B.S. (ed.) Taxonomy of educational objectives: The classification of educational goals: Handbook I. cognitive domain. Longmans, Green, New York, Toronto (1956)

   Google Scholar 

3. Buedenbender, J., Andres, E., Frischauf, A., Goguadze, G., Libbrecht, P., Melis, E., Ullrich, C.: Using computer algebra systems as cognitive tools. In: Cerri, S.A., Gouardéres, G., Paraguaçu, F. (eds.) ITS 2002. LNCS, vol. 2363, pp. 802–810. Springer, Heidelberg (2002)

   Chapter  Google Scholar 

4. Caprotti, O., Cohen, A.M.: Draft of the open math standard. Open Math Consortium (1998), http://www.nag.co.uk/projects/OpenMath/omstd/

5. Forgy, C.L.: Rete: a fast algorithm for the many pattern/many object pattern match problem. Artificial Intelligence, 17–37 (1982)

   Google Scholar 

6. Friedman-Hill, E.: Jess, the java expert system shell. Technical Report SAND98- 8206, Sandia National Laboratories (1997)

   Google Scholar 

7. Gonzalez-Palomo, A., Libbrecht, P., Ullrich, C.: A presentation architecture for individualized content. In: The Twelfth International World Wide Web Conference (2003) (submitted)

   Google Scholar 

8. Kohlhase, M.: OMDoc: Towards an internet standard for the administration, distribution and teaching of mathematical knowledge. In: Campbell, J., Roanes-Lozano, E. (eds.) AISC 2000. LNCS (LNAI), vol. 1930, p. 32. Springer, Heidelberg (2001)

   Chapter  Google Scholar 

9. Lajoie, S., Derry, S. (eds.): Computers as Cognitive Tools. Erlbaum, Hillsdale (1993)

   Google Scholar 

10. Melis, E., Andres, E.: Global feedback in ActiveMath. In: Proceedings of the World Conference on E-Learning in Corporate, Government, Healthcare, and Higher Education (eLearn-2003), pp. 1719–1724. AACE (2003)

    Google Scholar 

11. Melis, E., Buedenbender, J., Andres, E., Frischauf, A., Goguadse, G., Libbrecht, P., Pollet, M., Ullrich, C.: Knowledge representation and management in Active- Math. International Journal on Artificial Intelligence and Mathematics, Special Issue on Management of Mathematical Knowledge 38(1-3), 47–64 (2003)

    MATH  Google Scholar 

12. Melis, E., Ullrich, C.: How to teach it – Polya-scenarios in ActiveMath. In: Hoppe, U., Verdejo, F., Kay, J. (eds.) AI in Education, AIED 2003, pp. 141–147. IOS Press, Amsterdam (2003)

    Google Scholar 

13. Murray, T., Arroyo, I.: Towards measuring and maintaining the zone of proximal development in adaptive instructional systems. In: Cerri, S.A., Gouardéres, G., Paraguaçu, F. (eds.) ITS 2002. LNCS, vol. 2363, pp. 749–758. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

14. Murray, T., Condit, C., Shen, T., Piemonte, J., Khan, S.: Metalinks - a framework and authoring tool for adaptive hypermedia. In: Lajoie, S.P., Vivet, M. (eds.) Proceedings of the International Conference on Artificial Intelligence and Education, pp. 744–746. IOS Press, Amsterdam (1999)

    Google Scholar 

15. Polya, G.: How to Solve it. Princeton University Press, Princeton (1945)

    MATH  Google Scholar 

16. Schoenfeld, A.H. (ed.): A Source Book for College Mathematics Teaching. Mathematical Association of America, Washington, DC (1990)

    Google Scholar 

17. VanLehn, K., Lynch, C., Taylor, L., Weinstein, A., Shelby, R., Schulze, K., Treacy, D., Wintersgill, M.: Minimally invasive tutoring of complex physics problem solving. In: Cerri, S.A., Gouardéres, G., Paraguaçu, F. (eds.) ITS 2002. LNCS, vol. 2363, pp. 367–376. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

18. Weber, G., Brusilovsky, P.: ELM-ART an adaptive versatile system for webbased instruction. Artificial Intelligence and Education (2001)

    Google Scholar 

Download references