Modeling Interactivity for Mathematics Learning by Demonstration

  • Miguel A. Mora
  • Roberto Moriyón
  • Francisco Saiz
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3119)


In this paper we present a mechanism for adding interactivity to static mathematical documents, which become interactive programs that allow students to practice the resolution of problems that involve symbolic computations. The designers that use this mechanism can work in the same environment used by students when solving the problems, and they don’t need to know any programming language. The original problems can also be generalized, and sets of similar problems that can be solved using the same methods can be generated automatically. The mechanism described has been implemented in a computer system that has also collaborative capabilities.


Mathematic Learn Computer Algebra System Resolution Method Authoring Tool Performance Zone 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Alfonseca, M., Lara, J.: Simulating evolutionary agent colonies with OOCSMP. In: Nyberg, K., Heys, H.M. (eds.) SAC 2002. LNCS, vol. 2595, pp. 11–15. Springer, Heidelberg (2003)Google Scholar
  2. 2.
    Asperti, A., Padovani, L., Sacerdoti Coen, C., Guidi, F., Schena, I.: Mathematical Knowledge Management in HELM. In: MKM 2001 (First International Workshop on Mathematical Knowledge Management), RISC, Schloss Hagenberg (2001)Google Scholar
  3. 3.
    Cypher, A.: Watch what I do. Programming by Demonstration. MIT Press, Cambridge (1993)Google Scholar
  4. 4.
    Diez, F., Moriyon, R.: Solving mathematical exercises that involve symbolic computations. Computing in Science and Engineering 6(1), 81–84 (2004)CrossRefGoogle Scholar
  5. 5.
    Mora, M.A., Moriyón, R., Saiz, F.: Building mathematics learning applications by means of ConsMath. In: Proceedings of IEEE Frontiers in Education Conference, Boulder, CO (2003)Google Scholar
  6. 6.
    Mora, M.A., Moriyón, R., Saiz, F.: Developing applications with a framework for the analysis of the learning process and collaborative tutoring. International Journal Cont. Engineering Education and Lifelong Learning 13(3/4), 268–279 (2003)CrossRefGoogle Scholar
  7. 7.
    Quinney, D.: Computer-Based Diagnostic Testing and Student Centered Support. In: Beevers, C. (ed.), Computer-Aided Assessment in Mathematics Series. Learning and Teaching Support Network (2001)Google Scholar
  8. 8.
    Simmons, G.F.: Differential equations: with applications and historical notes. McGraw-Hill, New York (1981)Google Scholar
  9. 9.
    Sorgatz, A., Hillebrand, R.: MuPAD. In Linux Magazin 12/95 (1995)Google Scholar
  10. 10.
    Wolfram, S.: The Mathematica Book, 4th edn. Cambridge University Press, Cambridge (1999)zbMATHGoogle Scholar
  11. 11.
    World Wide Web Consortium (W3C). W3C Semantic Web.
  12. 12.
    World Wide Web Consortium (W3C). The MathML Language,

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Miguel A. Mora
    • 1
  • Roberto Moriyón
    • 1
  • Francisco Saiz
    • 1
  1. 1.Escuela Politécnica SuperiorUniversidad Autónoma de MadridMadridSpain

Personalised recommendations