We present a search engine for mathematical formulae. The MathWebSearch system harvests the web for content representations (currently MathML and OpenMath) of formulae and indexes them with substitution tree indexing, a technique originally developed for accessing intermediate results in automated theorem provers. For querying, we present a generic language extension approach that allows constructing queries by minimally annotating existing representations. First experiments show that this architecture results in a scalable application.


Search Engine Mathematical Formula Query Term Content Representation Term Indexing 
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. [ABC+03]
    Ausbrooks, R., Buswell, S., Carlisle, D., et al.: Mathematical Markup Language (MathML) version 2.0 (second edition). In: W3C recommendation, World Wide Web Consortium (2003), Available at:
  2. [AS04]
    Asperti, A., Selmi, M.: Efficient retrieval of mathematical statements. In: Asperti, A., Bancerek, G., Trybulec, A. (eds.) MKM 2004. LNCS, vol. 3119, pp. 1–4. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  3. [BCC+04]
    Buswell, S., Caprotti, O., Carlisle, D.P., Dewar, M.C., Gaetano, M., Kohlhase, M.: The Open Math standard, version 2.0. Technical report, The Open Math Society (2004),
  4. [Cre]
    Creative Commons. Web page at:
  5. [FSF91]
    Free Software Foundation FSF. Gnu general public license (1991), Software License available at:
  6. [GMMW03]
    Grosso, P., Maler, E., Marsh, J., Walsh, N.: Xpointer framework. In: W3c recommendation, World Wide Web Constortium W3C, March 25 (2003)Google Scholar
  7. [Gra96]
    Graf, P.: Term Indexing. LNCS, vol. 1053. Springer, Heidelberg (1996)Google Scholar
  8. [HRW02]
    Huerter, S., Rodionov, I., Watt, S.: Content-faithful transformations for mathml. In: Second International Conference on MathML and Technologies for Math on the Web, Chicago, USA (2002),
  9. [ICW06]
    Ida, T., Calmet, J., Wang, D.: AISC 2006. LNCS (LNAI), vol. 4120. Springer, Heidelberg (2006)zbMATHGoogle Scholar
  10. [KF01]
    Kohlhase, M., Franke, A.: MBase: Representing knowledge and context for the integration of mathematical software systems. Journal of Symbolic Computation; Special Issue on the Integration of Computer algebra and Deduction Systems 32(4), 365–402 (2001)MathSciNetzbMATHGoogle Scholar
  11. [KK06]
    Kohlhase, A., Kohlhase, M.: Communities of practice in MKM: An extensional model. In: Borwein, J.M., Farmer, W.M. (eds.) MKM 2006. LNCS (LNAI), vol. 4108, pp. 179–193. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  12. [Koh06]
    Kohlhase, M.: OMDoc – An Open Markup Format for Mathematical Documents [version 1.2]. LNCS (LNAI), vol. 4180. Springer, Heidelberg (in press, 2006), CrossRefGoogle Scholar
  13. [LM06]
    Libbrecht, P., Melis, E.: Methods to access and retrieve mathematical content in activeMath. In: Iglesias, A., Takayama, N. (eds.) ICMS 2006. LNCS, vol. 4151, pp. 331–342. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  14. [Mat06]
    Math web search (July 2006), Web page at:
  15. [MBG+03]
    Melis, E., Büdenbender, J., Goguadze, G., Libbrecht, P., Ullrich, C.: Knowledge representation and management in ActiveMath. Annals of Mathematics and Artificial Intelligence 38, 47–64 (2003), CrossRefzbMATHGoogle Scholar
  16. [MY03]
    Miller, B., Youssef, A.: Technical aspects of the digital library of mathematical functions. Annals of Mathematics and Artificial Intelligence 38(1-3), 121–136 (2003)CrossRefMathSciNetzbMATHGoogle Scholar
  17. [Nor06a]
    Normann, I.: Enhanced theorem reuse by partial theory inclusionss. In: Ida, et al. [ICW06]Google Scholar
  18. [Nor06b]
    Normann, I.: Extended normalization for e-retrieval of formulae. In: Proceedings of Communicating Mathematics in the Digital Era (to appear, 2006)Google Scholar
  19. [OAI02]
    The open archives initiative protocol for metadata harvesting (June 2002), Available at:
  20. [TSP06]
    Theiß, F., Sorge, V., Pollet, M.: Interfacing to computer algebra via term indexing. In: Ranise, S., Sebastiani, R. (eds.) Calculemus 2006 (2006)Google Scholar
  21. [Wol02]
    Wolfram, S.: The Mathematica Book. Cambridge University Press, Cambridge (2002)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Michael Kohlhase
    • 1
  • Ioan Sucan
    • 1
  1. 1.Computer ScienceInternational University Bremen 

Personalised recommendations