Specifying Strategies for Exercises

1. Anderson, J.R.: Rules of the Mind. Lawrence Erlbaum Associates (1993)

   Google Scholar 

2. Anderson, J.R., Corbett, A.T., Koedinger, K.R., Pelletier, R.: Cognitive tutors: lessons learned. The Journal of the Learning Sciences 4(2), 167–207 (1995)

   Article  Google Scholar 

3. Anderson, J.R., Skwarecki, E.: The automated tutoring of introductory computer programming. Communications of the ACM 29(9), 842–849 (1986)

   Article  Google Scholar 

4. Beeson, M.J.: Design principles of Mathpert: Software to support education in algebra and calculus. In: Kajler, N. (ed.) Computer-Human Interaction in Symbolic Computation, pp. 89–115. Springer, Heidelberg (1998)

   Google Scholar 

5. Bouwers, E.: Improving automated feedback – a generic rule-feedback generator. Master’s thesis, Utrecht University, department of Information and Computing Sciences (2007)

   Google Scholar 

6. Brown, J.S., Burton, R.R.: Diagnostic models for procedural bugs in basic mathematical skills. Cognitive Science 2, 155–192 (1978)

   Article  Google Scholar 

7. Brown, J.S., VanLehn, K.: Repair theory: A generative theory of bugs in procedural skills. Cognitive Science 4, 379–426 (1980)

   Article  Google Scholar 

8. Bundy, A.: The Computer Modelling of Mathematical Reasoning. Academic Press, London (1983)

   MATH  Google Scholar 

9. Chaachoua, H., et al.: Aplusix, a learning environment for algebra, actual use and benefits. In: ICME 10: 10th International Congress on Mathematical Education (2004) (retrieved May 2008), http://www.itd.cnr.it/telma/papers.php

10. Cohen, A., Cuypers, H., Jibetean, D., Spanbroek, M.: Interactive learning and mathematical calculus. In: Mathematical Knowledge Management (2005)

    Google Scholar 

11. Cohen, A., Cuypers, H., Barreiro, E.R., Sterk, H.: Interactive mathematical documents on the web. In: Algebra, Geometry and Software Systems, pp. 289–306. Springer, Heidelberg (2003)

    Google Scholar 

12. Cunha, A., Visser, J.: Strongly typed rewriting for coupled software transformation. Electron. Notes Theor. Comput. Sci. 174(1), 17–34 (2007)

    Article  Google Scholar 

13. Erev, I., Luria, A., Erev, A.: On the effect of immediate feedback (2006), http://telem-pub.openu.ac.il/users/chais/2006/05/pdf/e-chais-erev.pdf

14. Goguadze, G., González Palomo, A., Melis, E.: Interactivity of exercises in ActiveMath. In: International Conference on Computers in Education, ICCE 2005 (2005)

    Google Scholar 

15. Heeren, B., Jeuring, J., van Leeuwen, A., Gerdes, A.: Specifying strategies for exercises. Technical Report UU-CS-2008-001, Utrecht University (2008)

    Google Scholar 

16. Hennecke, M.: Online Diagnose in intelligenten mathematischen Lehr-Lern-Systemen (in German). PhD thesis, Hildesheim University, Fortschritt-Berichte VDI Reihe 10, Informatik / Kommunikationstechnik; 605. Düsseldorf: VDI-Verlag (1999)

    Google Scholar 

17. Hinze, R., Jeuring, J., Löh, A.: Comparing approaches to generic programming in Haskell. In: Backhouse, R., Gibbons, J., Hinze, R., Jeuring, J. (eds.) SSDGP 2006. LNCS, vol. 4719, pp. 72–149. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

18. Horacek, H., Wolska, M.: Handling errors in mathematical formulas. In: Ikeda, M., Ashley, K.D., Chan, T.-W. (eds.) ITS 2006. LNCS, vol. 4053, pp. 339–348. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

19. Hudak, P.: Building domain-specific embedded languages. ACM Computing Surveys 28A(4) (December 1996)

    Google Scholar 

20. Hutton, G.: Higher-order Functions for Parsing. Journal of Functional Programming 2(3), 323–343 (1992)

    Article  MATH  MathSciNet  Google Scholar 

21. Issakova, M.: Solving of linear equations, linear inequalities and systems of linear equations in interactive learning environment. PhD thesis, University of Tartu (2007)

    Google Scholar 

22. Lämmel, R., Jones, S.P.: Scrap your boilerplate: a practical approach to generic programming. ACM SIGPLAN Notices 38(3), 26–37 (2003); TLDI 2003

    Article  Google Scholar 

23. R. Lämmel, E. Visser, J. Visser.: The Essence of Strategic Programming. In: Draft, p. 18 , October15 (2002), http://www.cwi.nl/~ralf

24. Lodder, J., Jeuring, J., Passier, H.: An interactive tool for manipulating logical formulae. In: Manzano, M., Pérez Lancho, B., Gil, A. (eds.) Proceedings of the Second International Congress on Tools for Teaching Logic (2006)

    Google Scholar 

25. Passier, H., Jeuring, J.: Feedback in an interactive equation solver. In: Seppälä, M., Xambo, S., Caprotti, O. (eds.) Proceedings of the Web Advanced Learning Conference and Exhibition, WebALT 2006, pp. 53–68. Oy WebALT (2006)

    Google Scholar 

26. Paulson, L.C.: ML for the Working Programmer., 2nd edn. Cambridge University Press, Cambridge (1996)

    Google Scholar 

27. Jones, S.P., et al.: Haskell 98, Language and Libraries. The Revised Report. Cambridge University Press, Cambridge (2003); A special issue of the Journal of Functional Programming, http://www.haskell.org/

    Google Scholar 

28. Plasmeijer, R., Achten, P., Koopman, P.: iTasks: executable specifications of interactive work flow systems for the web. In: ICFP 2007, New York, NY, USA, pp. 141–152 (2007)

    Google Scholar 

29. Sweller, J., van Merriënboer, J.J.G., Paas, F.: Cognitive architecture and instructional design. Educational Psychology Review 10, 251–295 (1998)

    Article  Google Scholar 

30. Swierstra, S.D., Duponcheel, L.: Deterministic, error-correcting combinator parsers. In: Launchbury, J., Sheard, T., Meijer, E. (eds.) AFP 1996. LNCS, vol. 1129, pp. 184–207. Springer, Heidelberg (1996)

    Google Scholar 

31. VanLehn, K.: Mind Bugs – The Origins of Procedural Misconceptions. MIT Press, Cambridge (1990)

    Google Scholar 

32. Visser, E., Benaissa, Z., Tolmach, A.: Building program optimizers with rewriting strategies. In: ICFP 1998, pp. 13–26 (1998)

    Google Scholar 

33. Zinn, C.: Supporting tutorial feedback to student help requests and errors in symbolic differentiation. In: Ikeda, M., Ashley, K.D., Chan, T.-W. (eds.) ITS 2006. LNCS, vol. 4053, pp. 349–359. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

Download references