Methods to Access and Retrieve Mathematical Content in ActiveMath

  • Paul Libbrecht
  • Erica Melis
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4151)


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.


Information Retrieval Search Tool Mathematical Content Content Item Mathematical Symbol 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [AGC+04]
    Asperti, A., Guidi, F., Sacerdoti Coen, C., Tassi, E., Zacchiroli, S.: A content based mathematical search engine: Whelp. In: Filliâtre, J.-C., Paulin-Mohring, C., Werner, B. (eds.) TYPES 2004. LNCS, vol. 3839, pp. 17–32. Springer, Heidelberg (2006), See also: http://www.cs.UniBo CrossRefGoogle Scholar
  2. [BCC+04]
    Buswell, S., Caprotti, O., Carlisle, D., Dewar, M., Gaëtano, M., Kohlhase, M.: The OpenMath standard, version 2.0. Technical report, The OpenMath Society (June 2004), available at:
  3. [Cai04]
    Cairns, P.: Informalising formal mathematics. In: Asperti, A., Bancerek, G., Trybulec, A. (eds.) MKM 2004. LNCS, vol. 3119, pp. 58–72. Springer, Heidelberg (2004), available at: http://www.uclic.ucl CrossRefGoogle Scholar
  4. [Gra96]
    Graf, P.: Term Indexing. LNCS, vol. 1053. Springer, Heidelberg (1996)Google Scholar
  5. [Koh00]
    Kohlhase, M.: OMdoc: Towards an openmath representation of mathematical documents. Seki Report SR-00-02, Fachbereich Informatik, Universität des Saarlandes (2000), See also:
  6. [KS06]
    Kohlhase, M., Sucan, I.: A Search Engine for Mathematical Formulæ. In: Calmet, J., Ida, T., Wang, D. (eds.) AISC 2006. LNCS, vol. 4120, pp. 241–253. Springer, Heidelberg (2006), CrossRefGoogle Scholar
  7. [LG06]
    Libbrecht, P., Gross, C.: Experience report writing LeActiveMath Calculus. In: Borwein, J.M., Farmer, W.M. (eds.) MKM 2006. LNCS (LNAI), vol. 4108. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  8. [MAB+01]
    Melis, E., Andrès, E., Büdenbender, J., Frischauf, A., Goguadze, G., Libbrecht, P., Pollet, M., Ullrich, C.: ActiveMath: A Generic and Adaptive Web-Based Learning Environment. International Journal of Artificial Intelligence in Education 12(4), 385–407 (2001)Google Scholar
  9. [MAF+03]
    Melis, E., Büdenbender, J., Andrès, E., Frischauf, A., Goguadze, G., Libbrecht, P., Pollet, M., Ullrich, C.: Knowledge Representation and Management in ActiveMath. Annals of Mathematics and Artificial Intelligence 38(1-3), 47–64 (2003), Volume is accessible from: MATHGoogle Scholar
  10. [Mah06]
    Mahesh, K.: Text retrieval quality: A primer. Technical report, Oracle Coproration (2006),
  11. [MLUM06]
    Manzoor, S., Libbrecht, P., Ullrich, C., Melis, E.: Authoring presentation for OpenMath. In: Kohlhase, M. (ed.) MKM 2005. LNCS, vol. 3863, pp. 33–48. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  12. [Por05]
    Porter, M.: The Porter stemming algorithm (2005), See:
  13. [Urb04]
    Urban, J.: Momm - fast interreduction and retrieval in large libraries of formalized mathematics. In: Basin, D., Rusinowitch, M. (eds.) IJCAR 2004. LNCS (LNAI), vol. 3097. Springer, Heidelberg (2004), Google Scholar
  14. [vR79]
    van Rijsbergen, C.J.: Information Retrieval. Butterworths (1979), available at:
  15. [You05]
    Youssef, A.: Information search and retrieval of mathematical contents: Issues and methods. In: Proceedings of IASSE 2005, Toronto, Canada (2005)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Paul Libbrecht
    • 1
  • Erica Melis
    • 1
  1. 1.German Research Center for Artificial IntelligenceSaarbrückenGermany

Personalised recommendations