Skip to main content
View expanded cover

International Conference on Intelligent Computer Mathematics

CICM 2014: Intelligent Computer Mathematics pp 444–448Cite as

Math Indexer and Searcher Web Interface

Towards Fulfillment of Mathematicians’ Information Needs

  • Conference paper

Part of the Lecture Notes in Computer Science book series (LNAI,volume 8543)

Abstract

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

Keywords

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

This is a preview of subscription content, access via your institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • DOI: 10.1007/978-3-319-08434-3_36
  • Chapter length: 5 pages
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
eBook
USD   59.99
Price excludes VAT (USA)
  • ISBN: 978-3-319-08434-3
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD   79.99
Price excludes VAT (USA)
Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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)

    CrossRef  Google Scholar 

  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), http://ceur-ws.org/Vol-921/wip-05.pdf

  3. Kamali, S.: Querying Large Collections of Semistructured Data. Ph.D. thesis (advisor: Frank Tompa), University of Waterloo (2013)

    Google Scholar 

  4. LaTeXML Project: A LaTeX to XML Converter (2014), http://dlmf.nist.gov/LaTeXML/

  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), http://research.nii.ac.jp/ntcir/workshop/OnlineProceedings10/pdf/NTCIR/MATH/06-NTCIR10-MATH-LiskaM.pdf

  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), http://hdl.handle.net/10338.dmlcz/702604

    Google Scholar 

  7. NTCIR Project: NTCIR Pilot Task: Math Task (2012), http://ntcir-math.nii.ac.jp/

  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), http://doi.acm.org/10.1145/2034691.2034703

Download references

Author information

Authors and Affiliations

  1. Faculty of Informatics, Masaryk University, Botanická 68a, Brno, Czech Republic

    Martin Líška, Petr Sojka & Michal Růžička

Authors
  1. Martin Líška
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Petr Sojka
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Michal Růžička
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Computer Science Department, The University of Western Ontario, MC 375,, N6A 5B7, London, ON, Canada

    Stephen M. Watt

  2. Departments of Computer Science and Mathematical Sciences, University of Bath, Claverton Down, BA2 7AY, Bath, UK

    James H. Davenport

  3. School of Computer Science, Edgbaston, University of Birmingham, B15 2TT, Birmingham, UK

    Alan P. Sexton

  4. Faculty of Informatics, Masaryk University, Botanicá 6a, 60200, Brno, Czech Republic

    Petr Sojka

  5. Institute for Computing Sciences, Radboud University Nijmegen, Postbus 9010,, 6525, Nijmegen, GL, The Netherlands

    Josef Urban

Rights and permissions

Reprints and Permissions

Copyright information

© 2014 Springer International Publishing Switzerland

About this paper

Cite this paper

Líška, M., Sojka, P., Růžička, M. (2014). Math Indexer and Searcher Web Interface. In: Watt, S.M., Davenport, J.H., Sexton, A.P., Sojka, P., Urban, J. (eds) Intelligent Computer Mathematics. CICM 2014. Lecture Notes in Computer Science(), vol 8543. Springer, Cham. https://doi.org/10.1007/978-3-319-08434-3_36

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-08434-3_36

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-08433-6

  • Online ISBN: 978-3-319-08434-3

  • eBook Packages: Computer ScienceComputer Science (R0)