A web application for mathematics education

Authors:
Ana Paula Tomás;José Paulo Leal;Marcos Aurélio Domingues
Affiliations:
Departamento de Ciência de Computadores, Faculdade de Ciências, Universidade do Porto, Portugal and Laboratório de Inteligência Artificial e Ciência de Computadores, Unive ...;Departamento de Ciência de Computadores, Faculdade de Ciências, Universidade do Porto, Portugal and Laboratório de Inteligência Artificial e Ciência de Computadores, Unive ...;Laboratório de Inteligência Artificial e Ciência de Computadores, Universidade do Porto, Portugal
Venue:
ICWL'07 Proceedings of the 6th international conference on Advances in web based learning
Year:
2007

Citing 7
Cited 0

The computer modelling of mathematical reasoning

The computer modelling of mathematical reasoning
A CLP-Based Tool for Computer Aided Generation and Solving of Maths Exercises

PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
Handbook of automated reasoning

Handbook of automated reasoning
Handbook of Constraint Programming (Foundations of Artificial Intelligence)

Handbook of Constraint Programming (Foundations of Artificial Intelligence)
A highly modular and extensible architecture for an integrated IMS-based authoring system: the experience

Software—Practice & Experience
Rapid Development of Web Interfaces to Heterogeneous Systems

SOFSEM '07 Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science
Hidden verification for computational mathematics

Journal of Symbolic Computation

Quantified Score

Hi-index	0.00

Visualization

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.