Methods for Access and Retrieval of Mathematical Content in ActiveMath
Abstract:
This article describes how mathematical content items and formulae 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 formulae, 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.
Published:
Proceedings of the Second International Congress on Mathematical Software, LNCS 4151, p. 331-342, Springer Verlag, Berlin, ISBN 978-3-540-38084-9., 2006