Skip to main content

Modeling Interactivity for Mathematics Learning by Demonstration

  • Conference paper
Mathematical Knowledge Management (MKM 2004)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 3119))

Included in the following conference series:

  • 430 Accesses


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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Subscribe and save

Springer+ Basic
EUR 32.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others


  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. 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. Cypher, A.: Watch what I do. Programming by Demonstration. MIT Press, Cambridge (1993)

    Google Scholar 

  4. Diez, F., Moriyon, R.: Solving mathematical exercises that involve symbolic computations. Computing in Science and Engineering 6(1), 81–84 (2004)

    Article  Google Scholar 

  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. 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)

    Article  Google Scholar 

  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. Simmons, G.F.: Differential equations: with applications and historical notes. McGraw-Hill, New York (1981)

    Google Scholar 

  9. Sorgatz, A., Hillebrand, R.: MuPAD. In Linux Magazin 12/95 (1995)

    Google Scholar 

  10. Wolfram, S.: The Mathematica Book, 4th edn. Cambridge University Press, Cambridge (1999)

    MATH  Google Scholar 

  11. World Wide Web Consortium (W3C). W3C Semantic Web.

  12. World Wide Web Consortium (W3C). The MathML Language,

Download references

Author information

Authors and Affiliations


Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Mora, M.A., Moriyón, R., Saiz, F. (2004). Modeling Interactivity for Mathematics Learning by Demonstration. In: Asperti, A., Bancerek, G., Trybulec, A. (eds) Mathematical Knowledge Management. MKM 2004. Lecture Notes in Computer Science, vol 3119. Springer, Berlin, Heidelberg.

Download citation

  • DOI:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-23029-8

  • Online ISBN: 978-3-540-27818-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics