{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,3]],"date-time":"2026-03-03T16:12:45Z","timestamp":1772554365692,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,10,17]],"date-time":"2018-10-17T00:00:00Z","timestamp":1539734400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"European Union FP7-CIP program","award":["250503 EuDML"],"award-info":[{"award-number":["250503 EuDML"]}]},{"name":"Information Society R&D program","award":["1ET200190513 DML-CZ"],"award-info":[{"award-number":["1ET200190513 DML-CZ"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,10,17]]},"DOI":"10.1145\/3269206.3269233","type":"proceedings-article","created":{"date-parts":[[2018,10,22]],"date-time":"2018-10-22T12:08:27Z","timestamp":1540210107000},"page":"1923-1926","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":13,"title":["MIaS"],"prefix":"10.1145","author":[{"given":"Petr","family":"Sojka","sequence":"first","affiliation":[{"name":"Masaryk University, Brno, Czech Rep"}]},{"given":"Michal","family":"R\u016f\u017ei\u010dka","sequence":"additional","affiliation":[{"name":"Masaryk University, Brno, Czech Rep"}]},{"given":"V\u00edt","family":"Novotn\u00fd","sequence":"additional","affiliation":[{"name":"Masaryk University, Brno, Czech Rep"}]}],"member":"320","published-online":{"date-parts":[[2018,10,17]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Proc. of the 10th NTCIR Conference. NII","author":"Aizawa Akiko","year":"2013","unstructured":"Akiko Aizawa , Michael Kohlhase , and Iadh Ounis . 2013 . NTCIR-10 Math Pilot Task Overview . In Proc. of the 10th NTCIR Conference. NII , Tokyo, Japan, 654--661. Akiko Aizawa, Michael Kohlhase, and Iadh Ounis. 2013. NTCIR-10 Math Pilot Task Overview. In Proc. of the 10th NTCIR Conference. NII, Tokyo, Japan, 654--661."},{"key":"e_1_3_2_1_2_1","volume-title":"Proc. of the 11th NTCIR Conference on Evaluation of Information Access Technologies. Noriko Kando and Kazuaki Kishida, (Eds.) NII","author":"Aizawa Akiko","year":"2014","unstructured":"Akiko Aizawa , Michael Kohlhase , Iadh Ounis , and Moritz Schubotz . 2014 . NTCIR-11 Math-2 Task Overview . In Proc. of the 11th NTCIR Conference on Evaluation of Information Access Technologies. Noriko Kando and Kazuaki Kishida, (Eds.) NII , Tokyo, Japan, 88--98. Akiko Aizawa, Michael Kohlhase, Iadh Ounis, and Moritz Schubotz. 2014. NTCIR-11 Math-2 Task Overview. In Proc. of the 11th NTCIR Conference on Evaluation of Information Access Technologies. Noriko Kando and Kazuaki Kishida, (Eds.) NII, Tokyo, Japan, 88--98."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/11788713_172"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31374-5_29"},{"key":"e_1_3_2_1_5_1","volume-title":"SIGIR 2012 Workshop on Open Source Information Retrieval, 17","author":"Bia\u0142ecki Andrzej","year":"2012","unstructured":"Andrzej Bia\u0142ecki , Robert Muir , and Grant Ingersoll . 2012 . Apache Lucene 4 . In SIGIR 2012 Workshop on Open Source Information Retrieval, 17 . Andrzej Bia\u0142ecki, Robert Muir, and Grant Ingersoll. 2012. Apache Lucene 4. In SIGIR 2012 Workshop on Open Source Information Retrieval, 17."},{"key":"e_1_3_2_1_6_1","first-page":"312","article-title":"MathJax: a platform for mathematics on the Web","volume":"59","author":"Cervone Davide","year":"2012","unstructured":"Davide Cervone . 2012 . MathJax: a platform for mathematics on the Web . Notices of the AMS , 59 , 2, 312 -- 316 . Davide Cervone. 2012. MathJax: a platform for mathematics on the Web. Notices of the AMS, 59, 2, 312--316.","journal-title":"Notices of the AMS"},{"key":"e_1_3_2_1_7_1","unstructured":"David Form\u00e1nek Martin L\u00edska Michal R\u016fi\u010dka and Petr Sojka. 2012. Normalization of Digital Mathematics Library Content. In Joint Proc. of the 24th OpenMath Workshop the 7th Workshop on Mathematical User Interfaces (MathUI) and the Work in Progress Section of the Conference on Intelligent Computer Mathematics (CEUR Workshop Proceedings) number 921 (Bremen Germany July 9-13 2012). James Davenport Johan Jeuring Christoph Lange and Paul Libbrecht (Eds.) http:\/\/ceur-ws.org\/Vol-921\/wip-05.pdf. Aachen 91--103.  David Form\u00e1nek Martin L\u00edska Michal R\u016fi\u010dka and Petr Sojka. 2012. Normalization of Digital Mathematics Library Content. In Joint Proc. of the 24th OpenMath Workshop the 7th Workshop on Mathematical User Interfaces (MathUI) and the Work in Progress Section of the Conference on Intelligent Computer Mathematics (CEUR Workshop Proceedings) number 921 (Bremen Germany July 9-13 2012). James Davenport Johan Jeuring Christoph Lange and Paul Libbrecht (Eds.) http:\/\/ceur-ws.org\/Vol-921\/wip-05.pdf. Aachen 91--103."},{"key":"e_1_3_2_1_8_1","unstructured":"Michael Kohlhase et al. 2008. MathWebSearch 0.4 a semantic search engine for mathematics. Manuscript at http:\/\/mathweb.org\/projects\/mws\/pubs\/mkm08.pdf.  Michael Kohlhase et al. 2008. MathWebSearch 0.4 a semantic search engine for mathematics. Manuscript at http:\/\/mathweb.org\/projects\/mws\/pubs\/mkm08.pdf."},{"key":"e_1_3_2_1_9_1","volume-title":"Blei","author":"Krstovski Kriste","year":"2018","unstructured":"Kriste Krstovski and David M . Blei . 2018 . Equation Embeddings. ArXiv e-prints, (Mar. 2018). arXiv: 1803.09123 {stat.ML}. Kriste Krstovski and David M. Blei. 2018. Equation Embeddings. ArXiv e-prints, (Mar. 2018). arXiv: 1803.09123 {stat.ML}."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2810355.2810359"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08434-3_36"},{"key":"e_1_3_2_1_12_1","volume-title":"Proc. of the 10th NTCIR Conference on Evaluation of Information Access Technologies. Noriko Kando and Kazuaki Kishida, (Eds.) NII","author":"L\u00edska Martin","year":"2013","unstructured":"Martin L\u00edska , Petr Sojka , and Michal R\u016f\u017ei\u010dka . 2013 . Similarity Search for Mathematics: Masaryk University team at the NTCIR-10 Math Task . In Proc. of the 10th NTCIR Conference on Evaluation of Information Access Technologies. Noriko Kando and Kazuaki Kishida, (Eds.) NII , Tokyo, Japan, Tokyo, 686--691. isbn: 978-4-86049-062-1. Martin L\u00edska, Petr Sojka, and Michal R\u016f\u017ei\u010dka. 2013. Similarity Search for Mathematics: Masaryk University team at the NTCIR-10 Math Task. In Proc. of the 10th NTCIR Conference on Evaluation of Information Access Technologies. Noriko Kando and Kazuaki Kishida, (Eds.) NII, Tokyo, Japan, Tokyo, 686--691. isbn: 978-4-86049-062-1."},{"key":"e_1_3_2_1_13_1","volume-title":"Towards a Digital Mathematics Library. Bertinoro, Italy, July 20-21st","author":"L\u00edska Martin","year":"2011","unstructured":"Martin L\u00edska , Petr Sojka , Michal R\u016f\u017ei\u010dka , and Petr Mravec . 2011. Web Interface and Collection for Mathematical Retrieval: WebMIaS and MREC . In Towards a Digital Mathematics Library. Bertinoro, Italy, July 20-21st , 2011 . Petr Sojka and Thierry Bouche, (Eds.) http:\/\/hdl.handle.net\/10338.dmlcz\/702604. Masaryk University , Bertinoro, Italy, (July 2011), 77--84. isbn: 978-80-210-5542-1. Martin L\u00edska, Petr Sojka, Michal R\u016f\u017ei\u010dka, and Petr Mravec. 2011. Web Interface and Collection for Mathematical Retrieval: WebMIaS and MREC. In Towards a Digital Mathematics Library. Bertinoro, Italy, July 20-21st, 2011. Petr Sojka and Thierry Bouche, (Eds.) http:\/\/hdl.handle.net\/10338.dmlcz\/702604. Masaryk University, Bertinoro, Italy, (July 2011), 77--84. isbn: 978-80-210-5542-1."},{"key":"e_1_3_2_1_14_1","volume-title":"Math Information Retrieval for Digital Libraries. Dissertation","author":"R\u016f\u017ei\u010dka Michal","unstructured":"Michal R\u016f\u017ei\u010dka . 2017. Math Information Retrieval for Digital Libraries. Dissertation . Masaryk University , Faculty of Informatics, Brno, CZ. https:\/\/is.muni.cz\/th\/pxz4q\/?lang=en. Michal R\u016f\u017ei\u010dka. 2017. Math Information Retrieval for Digital Libraries. Dissertation. Masaryk University, Faculty of Informatics, Brno, CZ. https:\/\/is.muni.cz\/th\/pxz4q\/?lang=en."},{"key":"e_1_3_2_1_15_1","volume-title":"Proc. of the 12th NTCIR Conference on Evaluation of Information Access Technologies. Noriko Kando, Tetsuya Sakai, and Mark Sanderson, (Eds.) NII Tokyo, 331--337","author":"R\u016f\u017ei\u010dka Michal","year":"2016","unstructured":"Michal R\u016f\u017ei\u010dka , Petr Sojka , and Martin L\u00edska . 2016 . Math Indexer and Searcher under the Hood: Fine-tuning Query Expansion and Unification Strategies . In Proc. of the 12th NTCIR Conference on Evaluation of Information Access Technologies. Noriko Kando, Tetsuya Sakai, and Mark Sanderson, (Eds.) NII Tokyo, 331--337 . http:\/\/research.nii.ac.jp\/ntcir\/workshop\/OnlineProceedings12\/pdf\/ntcir\/MathIR\/05-NTCIR12-MathIR-RuzickaM.pdf. Michal R\u016f\u017ei\u010dka, Petr Sojka, and Martin L\u00edska. 2016. Math Indexer and Searcher under the Hood: Fine-tuning Query Expansion and Unification Strategies. In Proc. of the 12th NTCIR Conference on Evaluation of Information Access Technologies. Noriko Kando, Tetsuya Sakai, and Mark Sanderson, (Eds.) NII Tokyo, 331--337. http:\/\/research.nii.ac.jp\/ntcir\/workshop\/OnlineProceedings12\/pdf\/ntcir\/MathIR\/05-NTCIR12-MathIR-RuzickaM.pdf."},{"key":"e_1_3_2_1_16_1","volume-title":"Proc. of the 11th NTCIR Conference on Evaluation of Information Access Technologies. Hideo Joho and Kazuaki Kishida, (Eds.) https:\/\/is.muni.cz\/auth\/publication\/1201956\/en. NII","author":"R\u016f\u017ei\u010dka Michal","year":"2014","unstructured":"Michal R\u016f\u017ei\u010dka , Petr Sojka , and Martin L\u00edska . 2014 . Math Indexer and Searcher under the Hood: History and Development of a Winning Strategy . In Proc. of the 11th NTCIR Conference on Evaluation of Information Access Technologies. Hideo Joho and Kazuaki Kishida, (Eds.) https:\/\/is.muni.cz\/auth\/publication\/1201956\/en. NII , Tokyo, Japan , (Dec. 2014), 127--134. Michal R\u016f\u017ei\u010dka, Petr Sojka, and Martin L\u00edska. 2014. Math Indexer and Searcher under the Hood: History and Development of a Winning Strategy. In Proc. of the 11th NTCIR Conference on Evaluation of Information Access Technologies. Hideo Joho and Kazuaki Kishida, (Eds.) https:\/\/is.muni.cz\/auth\/publication\/1201956\/en. NII, Tokyo, Japan, (Dec. 2014), 127--134."},{"key":"e_1_3_2_1_17_1","volume-title":"Proc. of the 10th Workshop on Recent Advances in Slavonic NLP, RASLAN 2016. Ales Hor\u00e1k, Pavel Rychl\u00fd, and Adam Rambousek, (Eds.) Tribun EU, Brno, 79--87","author":"Rygl Jan","year":"2016","unstructured":"Jan Rygl , Petr Sojka , Michal R\u016f\u017ei\u010dka , and Radim \u0158eh\u016f\u0159ek . 2016 . ScaleText: The Design of a Scalable, Adaptable and User-Friendly Document System for Similarity Searches: Digging for Nuggets of Wisdom in Text. eng . In Proc. of the 10th Workshop on Recent Advances in Slavonic NLP, RASLAN 2016. Ales Hor\u00e1k, Pavel Rychl\u00fd, and Adam Rambousek, (Eds.) Tribun EU, Brno, 79--87 . isbn: 978-80-263-1095-2. https:\/\/nlp.fi.muni.cz\/raslan\/2016\/paper08-Rygl_Sojka_etal.pdf. Jan Rygl, Petr Sojka, Michal R\u016f\u017ei\u010dka, and Radim \u0158eh\u016f\u0159ek. 2016. ScaleText: The Design of a Scalable, Adaptable and User-Friendly Document System for Similarity Searches: Digging for Nuggets of Wisdom in Text. eng. In Proc. of the 10th Workshop on Recent Advances in Slavonic NLP, RASLAN 2016. Ales Hor\u00e1k, Pavel Rychl\u00fd, and Adam Rambousek, (Eds.) Tribun EU, Brno, 79--87. isbn: 978-80-263-1095-2. https:\/\/nlp.fi.muni.cz\/raslan\/2016\/paper08-Rygl_Sojka_etal.pdf."},{"key":"e_1_3_2_1_18_1","volume-title":"Towards a Digital Mathematics Library","author":"Sojka Petr","year":"2008","unstructured":"Petr Sojka , (Ed.) Towards a Digital Mathematics Library . Birmingham, UK , ( July 2008 ). Masaryk University . isbn: 978-80-210-4658-0. http:\/\/dml.cz\/dmlcz \/702564. Petr Sojka, (Ed.) Towards a Digital Mathematics Library. Birmingham, UK, (July 2008). Masaryk University. isbn: 978-80-210-4658-0. http:\/\/dml.cz\/dmlcz \/702564."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/2032713.2032731"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11786-010-0024-7"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/958220.958239"},{"key":"e_1_3_2_1_22_1","volume-title":"Proc. of the 12th NTCIR Conference on Evaluation of Information Access Technologies. NII Tokyo, 299--308","author":"Richard","unstructured":"Richard Zanibbi et al. 2016. NTCIR-12 MathIR task overview . In Proc. of the 12th NTCIR Conference on Evaluation of Information Access Technologies. NII Tokyo, 299--308 . Richard Zanibbi et al. 2016. NTCIR-12 MathIR task overview. In Proc. of the 12th NTCIR Conference on Evaluation of Information Access Technologies. NII Tokyo, 299--308."}],"event":{"name":"CIKM '18: The 27th ACM International Conference on Information and Knowledge Management","location":"Torino Italy","acronym":"CIKM '18","sponsor":["SIGWEB ACM Special Interest Group on Hypertext, Hypermedia, and Web","SIGIR ACM Special Interest Group on Information Retrieval"]},"container-title":["Proceedings of the 27th ACM International Conference on Information and Knowledge Management"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3269206.3269233","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3269206.3269233","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:44:20Z","timestamp":1750207460000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3269206.3269233"}},"subtitle":["Math-Aware Retrieval in Digital Mathematical Libraries"],"short-title":[],"issued":{"date-parts":[[2018,10,17]]},"references-count":22,"alternative-id":["10.1145\/3269206.3269233","10.1145\/3269206"],"URL":"https:\/\/doi.org\/10.1145\/3269206.3269233","relation":{},"subject":[],"published":{"date-parts":[[2018,10,17]]},"assertion":[{"value":"2018-10-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}