Math Indexer and Searcher Web Interface

Towards Fulfillment of Mathematicians’ Information Needs
  • Martin Líška
  • Petr Sojka
  • Michal Růžička
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8543)


We are designing and developing a web user interface for digital mathematics libraries called WebMIaS. It allows queries to be expressed by mathematicians through a faceted search interface. Users can combine standard textual autocompleted keywords with keywords in the form of mathematical formulae in Open image in new window or MathML formats. Formulae are shown rendered by the web browser on-the-fly for users’ feedback. We describe WebMIaS design principles and our experiences deploying in the European Digital Mathematics Library (EuDML). We further describe the issues addressed by formulae canonicalization and by extending the MIaS indexing engine with Content MathML support.


search interface math-aware search digital mathematical library formulae canonicalization WebMIaS MIaS EuDML MathML 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Borbinha, J., Bouche, T., Nowiński, A., Sojka, P.: Project EuDML – A First Year Demonstration. In: Davenport, J.H., Farmer, W.M., Urban, J., Rabe, F. (eds.) Calculemus/MKM 2011. LNCS (LNAI), vol. 6824, pp. 281–284. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  2. 2.
    Formánek, D., Líška, M., Růžička, M., Sojka, P.: Normalization of digital mathematics library content. In: Davenport, J., et al. (eds.) 24th OpenMath Workshop, 7th MathUI Workshop, and Intelligent Computer Mathematics Work in Progress, Aachen. CEUR Workshop Proceedings, vol. 921, pp. 91–103 (2012),
  3. 3.
    Kamali, S.: Querying Large Collections of Semistructured Data. Ph.D. thesis (advisor: Frank Tompa), University of Waterloo (2013)Google Scholar
  4. 4.
    LaTeXML Project: A LaTeX to XML Converter (2014),
  5. 5.
    Líška, M., Sojka, P., Růžička, M.: Similarity Search for Mathematics: Masaryk University team at the NTCIR-10 Math Task. In: Kando, N., et al. (eds.) NTCIR-10 Online Proceedings (2013),
  6. 6.
    Líška, M., Sojka, P., Růžička, M., Mravec, P.: Web Interface and Collection for Mathematical Retrieval. In: Sojka, P., Bouche, T. (eds.) Proceedings of DML 2011, pp. 77–84. Masaryk University, Bertinoro (2011), Scholar
  7. 7.
    NTCIR Project: NTCIR Pilot Task: Math Task (2012),
  8. 8.
    Sojka, P., Líška, M.: The Art of Mathematics Retrieval. In: Proc. of the ACM Conference on Document Engineering, DocEng 2011, pp. 57–60. ACM, Mountain View (2011),

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  • Martin Líška
    • 1
  • Petr Sojka
    • 1
  • Michal Růžička
    • 1
  1. 1.Faculty of InformaticsMasaryk UniversityBrnoCzech Republic

Personalised recommendations