Modeling interactivity for mathematics learning by demonstration

The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-540-27818-4_19Proceedings of Third International Conference, MKM 2004, Białowieża, Poland, September 19-21, 2004In 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.The work described in this paper is part of the Ensenada and Arcadia projects, funded by the National Plan of Research and Development of Spain, projects TIC 2001-0685-C02-01 and TIC2002-01948 respectivel