Publikation

Methods for Access and Retrieval of Mathematical Content in ActiveMath

Paul Libbrecht, Erica Melis

In: Nobuki Takayama , Andres Iglesias , Jaime Gutierrez (Hrsg.). Proceedings of ICMS-2006. International Congress on Mathematical Software (ICMS) LNCS 4151 Springer Verlag GmbH 9/2006.

Abstrakt

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 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.

Projekte

Weitere Links

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence