99 research outputs found
An Interactive Viewer for Mathematical Content Based On Type Theory
Contains fulltext :
175979.pdf (publisher's version ) (Open Access)24 p
Integrated semantic math I/O in ActiveMath: an evaluation
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 notations.
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 project
in Malaga and Edinburgh. The results indicate that, even though the
assisted input methods provided by the Formula Editor and copy-andpaste
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
A Survey on Retrieval of Mathematical Knowledge
We present a short survey of the literature on indexing and retrieval of
mathematical knowledge, with pointers to 72 papers and tentative taxonomies of
both retrieval problems and recurring techniques.Comment: CICM 2015, 20 page
- …