Methods to Access and Retrieve Mathematical Content in ActiveMath
P Libbrecht, E Melis - International Congress on Mathematical Software, 2006 - Springer
P Libbrecht, E Melis
International Congress on Mathematical Software, 2006•SpringerThis article describes how mathematical content items and formulæ are processed,
retrieved, and accessed in ActiveMath. Central to the retrieval and access is a search tool
which allows for searching text, attributes, relations and formulæ, and presenting items. The
search tool has been evaluated according to the standard measures of precision and recall
as well as for usability. We report results of these evaluations.
retrieved, and accessed in ActiveMath. Central to the retrieval and access is a search tool
which allows for searching text, attributes, relations and formulæ, and presenting items. The
search tool has been evaluated according to the standard measures of precision and recall
as well as for usability. We report results of these evaluations.
Abstract
This article describes how mathematical content items and formulæ are processed, retrieved, and accessed in ActiveMath. Central to the retrieval and access is a search tool which allows for searching text, attributes, relations and formulæ, and presenting items. The search tool has been evaluated according to the standard measures of precision and recall as well as for usability. We report results of these evaluations.
Springer
