Abstract
AGILMAT is a web application designed to help students learn Mathematics, with focus on high-school algebra and calculus drills. A modular and extensible architecture and a wizard-based configuration interface decoupled from the system core are major design features of AGILMAT. The drill expressions are specified by grammars and constraints imposed by default profiles and user options, so that AGILMAT may support distinct learning levels and stages. The core system uses symbolic manipulation and automated reasoning to provide correct answers for the drills. The paper shows how AGILMAT may be used to create and customize drills automatically.
Partially supported by AGILMAT (POSI/CHS/48565/2002), funded by Fundação para a Ciência e Tecnologia, under POSI, co-funded by EU/FEDER.
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.
References
Beeson, M.: Design Principles of Mathpert: Software to support education in algebra and calculus. In: Kajler, N. (ed.) Computer-Human Interaction in Symbolic Computation, Texts and Monographs in Symbolic Computation, vol. XI, pp. 89–115. Springer, Heidelberg (1998)
Bundy, A.: The Computer Modelling of Mathematical Reasoning. Academic Press, London (1983)
Domingues, M.A., Leal, J.P.: Configuring Web Wizards in XML. In: Proc. of XATA2006, XML: Aplicações e Tecnologias Associadas, pp. 315–324 (2006)
Gottliebsen, H., Kelsey, T., Martin, U.: Hidden Verification for Computational Mathematics. J. Symbolic Computation 39, 539–567 (2005)
Isidro, R.O., Sousa Pinto, J., Batel Anjo, A.: SA3C - Platform of Evaluation System and Computer Assisted Learning. WEAS Transactions on Advances in Engineering Education 1:2, 1–6 (2005), http://pmate.ua.pt:8081/pmate/
Leal, J.P., Domingues, M.A.: Rapid development of web interfaces to heterogeneous systems. In: van Leeuwen, J., et al. (eds.) SOFSEM 2007. LNCS, vol. 4362, pp. 716–725. Springer, Heidelberg (2007)
Melis, E., et al.: ActiveMath: A Generic and Adaptive Web-Based Learning Environment. International Journal of Artificial Intelligence in Education 12:4, 385–407 (2001), http://www.activemath.org/
FP6-Project ”LeActiveMath”: Language Enhanced User Adaptive, Interactive eLearning for Mathematics (2004/2006) http://www.dfki.de/leactivemath/
IMS QTI Specifications. IMS Global Learning Consortium, Inc. www.imsglobal.org/question/index.html
Marriott, K., Stuckey, P.: Programming with Constraints – An Introduction. MIT Press, Cambridge (1998)
Ravaglia, R., Alper, T., Rozenfeld, M., Suppes, P.: Successful Pedagogical Applications of Symbolic Computation. In: Kajler, N. (ed.) Computer-Human Interaction in Symbolic Computation, pp. 61–88. Springer, Heidelberg (1999)
Robinson, A., Voronkoy, A. (eds.): Handbook of Automated Reasoning. Elsevier Science, Amsterdam (2001)
Rossi, F., van Beek, P., Walsh, T. (eds.): Handbook of Constraint Programming. Elsevier Science, Amsterdam (2006)
SICStus Prolog User Manual (Release 3.12.0), SICS, Sweden (2004) http://www.sics.se/isl/sicstuswww/site/index.html
Sierra, J., Moreno-Ger, P., Martínez-Ortiz, I., Fernández-Manjón, B.: A highly modular and extensible architecture for an integrated IMS-based authoring system: The <e-Aula> experience. Softw. Pract. Exper. 37:4, 441–461 (2007)
Tomás, A.P., Leal, J.P.: A CLP-Based Tool for Computer Aided Generation and Solving of Maths Exercises. In: Dahl, V., Wadler, P. (eds.) PADL 2003. LNCS, vol. 2562, pp. 223–240. Springer, Heidelberg (2003)
Tomás, A.P., Moreira, N., Pereira, N.: Designing a Solver for Arithmetic Constraints to Support Education in Mathematics. In: Proc. Artificial Intelligence Applications and Innovations (AIAI 2006). IFIP Series, vol. 204, pp. 433–441. Springer-Verlag, Heidelberg (2006)
Xiao, G.: On Public-Questions Tests, Univ. Nice Sophia-Antipolis, France (2004)
XSL Transformations (XSLT) W3C Recommendation (November 16, 1999), http://www.w3.org/TR/xslt
Moodle course management system. http://moodle.org/
Moodle XML. http://docs.moodle.org/en/Moodle_XML
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Tomás, A.P., Leal, J.P., Domingues, M.A. (2008). A Web Application for Mathematics Education. In: Leung, H., Li, F., Lau, R., Li, Q. (eds) Advances in Web Based Learning – ICWL 2007. ICWL 2007. Lecture Notes in Computer Science, vol 4823. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-78139-4_34
Download citation
DOI: https://doi.org/10.1007/978-3-540-78139-4_34
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-78138-7
Online ISBN: 978-3-540-78139-4
eBook Packages: Computer ScienceComputer Science (R0)