Masaryk University

Publication Records

česky | in English

Filter publications

    2024

    1. STEGMÜLLER, Johannes, André GREINER-PETTER, Petr SOJKA, Olaf TESCHKE and Moritz SCHUBOTZ. Examination of the state of the art of mathematical formula search for zbMATHOpen. In Klaus Hulek, Octavio Paniagua Taboada, Olaf Teschke. 90 Years of zbMATH. Berlin: EMS Press, 2024, p. 27-41. ISBN 978-3-98547-073-0. Available from: https://dx.doi.org/10.4171/zbl90/13.

    2022

    1. GELETKA, Martin, Vojtěch KALIVODA, Michal ŠTEFÁNIK, Marek TOMA and Petr SOJKA. Diverse Semantics Representation is King. Online. In Guglielmo Faggioli, Nicola Ferro, Allan Hanbury, Martin Potthast. Proceedings of the Working Notes of CLEF 2022 - Conference and Labs of the Evaluation Forum. Bologna: CEUR.org, 2022, p. 28-39. ISSN 1613-0073.

    2021

    1. NOVOTNÝ, Vít, Michal ŠTEFÁNIK, Dávid LUPTÁK, Martin GELETKA, Petr ZELINA and Petr SOJKA. Ensembling Math Information Retrieval Systems: MIRMU and MSM at ARQMath 2021. Online. In CEUR Workshop Proceedings, Volume 2936: 2021 Working Notes of CLEF - Conference and Labs of the Evaluation Forum, CLEF-WN 2021. Bucharest, Romania: CEUR-WS, 2021, p. 82-106. ISSN 1613-0073.
    2. LUPTÁK, Dávid, Vít NOVOTNÝ, Michal ŠTEFÁNIK and Petr SOJKA. WebMIaS on Docker: Deploying Math-Aware Search in a Single Line of Code. In Fairouz Kamareddine and Claudio Sacerdotti-Coen. Intelligent Computer Mathematics: 14th International Conference, CICM 2021, Timisoara, Romania, July 26–31, 2021, Proceedings. LNAI 12833. Timisoara, Romania: Springer, 2021, p. 159-164. ISBN 978-3-030-81096-2. Available from: https://dx.doi.org/10.1007/978-3-030-81097-9_13.

    2020

    1. NOVOTNÝ, Vít, Petr SOJKA, Michal ŠTEFÁNIK and Dávid LUPTÁK. Three is Better than One: Ensembling Math Information Retrieval Systems. CEUR Workshop Proceedings. Thessaloniki, Greece: M. Jeusfeld c/o Redaktion Sun SITE, Informatik V, RWTH Aachen., 2020, vol. 2020, No 2696, p. 93-122. ISSN 1613-0073.

    2016

    1. SOJKA, Petr and Michal RŮŽIČKA. Math-Aware Search Interfaces for Digital Mathematical Libraries (DML). 2016.
Display details
Displayed: 20/10/2024 10:40