Skip to main content
SpringerLink
Log in
Book 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 book series: Lecture Notes in Computer Science ((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.

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

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

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)

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

Publish with us

Policies and ethics

Search

Navigation