Integrated Semantic Math I/O in ActiveMath: an Evaluation
Abstract:
The ActiveMath system is a web-based learning environment that integrates
static mathematical content and interactive exercises with evaluated
mathematical input from learners. Mathematical formulæ in ActiveMath are
encoded in OpenMath and presented with regional nota-tions. Users can
input formulæ using the same notations via a formula editor or using
plain-text input. Input to the editor is assisted by allowing users to
copy formulæ from other parts of ActiveMath.
In this paper we will describe how all these components are integrated and
work within the system. We will then discuss recent evaluations of the
formulæ input methods run within the LeActiveMath pro ject in Malaga and
Edinburgh. The results indicate that, even though the assisted input
methods provided by the Formula Editor and copy-and- paste are appreciated
by users the most popular input method remains the plain text input
fields. Proposals are made for how direct input of text can be facilitated
and assisted in future formulæ input systems.
Published:
Proceedings of MathUI 07 Workshop, online