Abstract
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
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
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)
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)
Cypher, A.: Watch what I do. Programming by Demonstration. MIT Press, Cambridge (1993)
Diez, F., Moriyon, R.: Solving mathematical exercises that involve symbolic computations. Computing in Science and Engineering 6(1), 81–84 (2004)
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)
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)
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)
Simmons, G.F.: Differential equations: with applications and historical notes. McGraw-Hill, New York (1981)
Sorgatz, A., Hillebrand, R.: MuPAD. In Linux Magazin 12/95 (1995)
Wolfram, S.: The Mathematica Book, 4th edn. Cambridge University Press, Cambridge (1999)
World Wide Web Consortium (W3C). W3C Semantic Web. http://www.w3.org/2001/sw/
World Wide Web Consortium (W3C). The MathML Language, http://www.w3.org/Math/
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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. https://doi.org/10.1007/978-3-540-27818-4_19
Download citation
DOI: https://doi.org/10.1007/978-3-540-27818-4_19
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23029-8
Online ISBN: 978-3-540-27818-4
eBook Packages: Springer Book Archive