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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
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/
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/
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
Graf, P.: Term Indexing. LNCS, vol. 1053. Springer, Heidelberg (1996)
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
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/
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)
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)
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
Mahesh, K.: Text retrieval quality: A primer. Technical report, Oracle Coproration (2006), http://www.oracle.com/technology/products/text/htdocs/imt_quality.htm
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)
Porter, M.: The Porter stemming algorithm (2005), See: http://www.tartarus.org/~martin/PorterStemmer/
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
van Rijsbergen, C.J.: Information Retrieval. Butterworths (1979), available at: http://www.dcs.gla.ac.uk/~iain/keith/
Youssef, A.: Information search and retrieval of mathematical contents: Issues and methods. In: Proceedings of IASSE 2005, Toronto, Canada (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)