WebMIaS on Docker: Deploying Math-Aware Search in a Single Line of Code


This publication doesn't include Institute of Computer Science. It includes Faculty of Informatics. Official publication website can be found on muni.cz.



Year of publication 2021
Type Article in Proceedings
Conference Intelligent Computer Mathematics: 14th International Conference, CICM 2021, Timisoara, Romania, July 26–31, 2021, Proceedings
MU Faculty or unit

Faculty of Informatics

Doi http://dx.doi.org/10.1007/978-3-030-81097-9_13
Keywords Math Information Retrieval; WebMIaS; MIaS; Docker Virtualization; Digital Mathematical Libraries; Math Web Search; EuDML; ARQMath
Description Math informational retrieval (MIR) search engines are absent in the wide-spread production use, even though documents in the STEM fields contain many mathematical formulae, which are sometimes more important than text for understanding. We have developed and open-sourced the WebMIaS MIR search engine that has been successfully deployed in the European Digital Mathematics Library (EuDML). However, its deployment is difficult to automate due to the complexity of this task. Moreover, the solutions developed so far to tackle this challenge are imperfect in terms of speed, maintenance, and robustness. In this paper, we will describe the virtualization of WebMIaS using Docker that solves all three problems and allows anyone to deploy containerized WebMIaS in a single line of code. The publicly available Docker image will also help the community push the development of math-aware search engines in the ARQMath workshop series.
Related projects:

You are running an old browser version. We recommend updating your browser to its latest version.

More info