Skip to main content

Methods to Access and Retrieve Mathematical Content in ActiveMath

  • Conference paper
Mathematical Software - ICMS 2006 (ICMS 2006)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 4151))

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Subscribe and save

Springer+ Basic
EUR 32.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or Ebook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. 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.it/helm/ http://www.cs.UniBo http://www.cs.UniBo.it/helm/

    Chapter  Google Scholar 

  2. 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: http://www.openmath.org/

  3. 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.ac.uk/paul/research/MizarLSI.pdf http://www.uclic.ucl http://www.uclic.ucl.ac.uk/paul/research/MizarLSI.pdf

    Chapter  Google Scholar 

  4. Graf, P.: Term Indexing. LNCS, vol. 1053. Springer, Heidelberg (1996)

    Google Scholar 

  5. Kohlhase, M.: OMdoc: Towards an openmath representation of mathematical documents. Seki Report SR-00-02, Fachbereich Informatik, Universität des Saarlandes (2000), See also: http://www.mathweb.org/omdoc

  6. 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), http://kwarc.eecs.iu-bremen.de/software/

    Chapter  Google Scholar 

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

    Chapter  Google Scholar 

  8. 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. 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: http://monet.nag.co.uk/mkm/amai/index.html

    MATH  Google Scholar 

  10. Mahesh, K.: Text retrieval quality: A primer. Technical report, Oracle Coproration (2006), http://www.oracle.com/technology/products/text/htdocs/imt_quality.htm

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

    Chapter  Google Scholar 

  12. Porter, M.: The Porter stemming algorithm (2005), See: http://www.tartarus.org/~martin/PorterStemmer/

  13. 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), http://wiki.mizar.org/cgi-bin/twiki/view/Mizar/MoMM

    Google Scholar 

  14. van Rijsbergen, C.J.: Information Retrieval. Butterworths (1979), available at: http://www.dcs.gla.ac.uk/~iain/keith/

  15. Youssef, A.: Information search and retrieval of mathematical contents: Issues and methods. In: Proceedings of IASSE 2005, Toronto, Canada (2005)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Libbrecht, P., Melis, E. (2006). Methods to Access and Retrieve Mathematical Content in ActiveMath . In: Iglesias, A., Takayama, N. (eds) Mathematical Software - ICMS 2006. ICMS 2006. Lecture Notes in Computer Science, vol 4151. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11832225_33

Download citation

  • DOI: https://doi.org/10.1007/11832225_33

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-38084-9

  • Online ISBN: 978-3-540-38086-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics