{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T02:56:38Z","timestamp":1768272998969,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":9,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,9,19]],"date-time":"2011-09-19T00:00:00Z","timestamp":1316390400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2011,9,19]]},"DOI":"10.1145\/2034691.2034703","type":"proceedings-article","created":{"date-parts":[[2011,9,20]],"date-time":"2011-09-20T13:50:16Z","timestamp":1316526616000},"page":"57-60","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":37,"title":["The art of mathematics retrieval"],"prefix":"10.1145","author":[{"given":"Petr","family":"Sojka","sequence":"first","affiliation":[{"name":"Masaryk University, Brno, Czech Rep"}]},{"given":"Martin","family":"L\u00ed\u0161ka","sequence":"additional","affiliation":[{"name":"Masaryk University, Brno, Czech Rep"}]}],"member":"320","published-online":{"date-parts":[[2011,9,19]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Natural Language and Mathematics Processing for Applicable Theorem Search. Master's thesis","author":"Anca S.","year":"2009","unstructured":"\\c S. Anca . Natural Language and Mathematics Processing for Applicable Theorem Search. Master's thesis , Jacobs University , Bremen, Aug . 2009 . https:\/\/svn.eecs.jacobs-university.de\/svn\/eecs\/archive\/msc-2009\/aanca.pdf. \\c S. Anca. Natural Language and Mathematics Processing for Applicable Theorem Search. Master's thesis, Jacobs University, Bremen, Aug. 2009. https:\/\/svn.eecs.jacobs-university.de\/svn\/eecs\/archive\/msc-2009\/aanca.pdf."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/11788713_172"},{"key":"e_1_3_2_1_3_1","volume-title":"Searching Mathematical Texts","author":"L\u00edaka M.","year":"2010","unstructured":"M. L\u00edaka . Vyhled\u00e1v\u00e1n\u00ed v matematick\u00e9m textu (in Slovak) , Searching Mathematical Texts , 2010 . Bachelor Thesis, Masaryk University , Brno, Faculty of Informatics (advisor: Petr Sojka), https:\/\/is.muni.cz\/th\/255768\/fi_b\/?lang=en. M. L\u00edaka. Vyhled\u00e1v\u00e1n\u00ed v matematick\u00e9m textu (in Slovak), Searching Mathematical Texts, 2010. Bachelor Thesis, Masaryk University, Brno, Faculty of Informatics (advisor: Petr Sojka), https:\/\/is.muni.cz\/th\/255768\/fi_b\/?lang=en."},{"key":"e_1_3_2_1_4_1","first-page":"77","volume-title":"Proceedings of DML 2011","author":"L\u00edaka M.","year":"2011","unstructured":"M. L\u00edaka , P. Sojka , M. R\u00b0u~icka , and P. Mravec . Web Interface and Collection for Mathematical Retrieval. In P. Sojka and T. Bouche, editors , Proceedings of DML 2011 , pages 77 -- 84 , Bertinoro, Italy , July 2011 . Masaryk University. http:\/\/www.fi.muni.cz\/ sojka\/dml-2011-program.html. M. L\u00edaka, P. Sojka, M. R\u00b0u~icka, and P. Mravec. Web Interface and Collection for Mathematical Retrieval. In P. Sojka and T. Bouche, editors, Proceedings of DML 2011, pages 77--84, Bertinoro, Italy, July 2011. Masaryk University. http:\/\/www.fi.muni.cz\/ sojka\/dml-2011-program.html."},{"key":"e_1_3_2_1_5_1","first-page":"55","volume-title":"Proceedings of DML 2008","author":"Miautka J.","year":"2008","unstructured":"J. Miautka and L. Galamboa . Extending Full Text Search Engine for Mathematical Content. In P. Sojka, editor , Proceedings of DML 2008 , pages 55 -- 67 , Birmingham, UK , July 2008 . Masaryk University. http:\/\/dml.cz\/dmlcz\/702546. J. Miautka and L. Galamboa. Extending Full Text Search Engine for Mathematical Content. In P. Sojka, editor, Proceedings of DML 2008, pages 55--67, Birmingham, UK, July 2008. Masaryk University. http:\/\/dml.cz\/dmlcz\/702546."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1148170.1148348"},{"key":"e_1_3_2_1_7_1","series-title":"Lecture Notes in Artificial Intelligence","first-page":"228","volume-title":"Proceedings of CICM Conference 2011 (Calculemus\/MKM)","author":"Sojka P.","year":"2011","unstructured":"P. Sojka and M. L\u00edaka . Indexing and Searching Mathematics in Digital Libraries -- Architecture, Design and Scalability Issues . In J. H. Davenport, W.M. Farmer, J. Urban and F. Rabe, editors, Proceedings of CICM Conference 2011 (Calculemus\/MKM) , volume 6824 of Lecture Notes in Artificial Intelligence , LNAI, pages 228 -- 243 , Berlin, Germany, July 2011 . Springer \\discretionary-Verlag. http:\/\/dx.doi.org\/10.1007\/978-3-642-22673-1_16. 10.1007\/978-3-642-22673-1_16 P. Sojka and M. L\u00edaka. Indexing and Searching Mathematics in Digital Libraries -- Architecture, Design and Scalability Issues. In J. H. Davenport, W.M. Farmer, J. Urban and F. Rabe, editors, Proceedings of CICM Conference 2011 (Calculemus\/MKM), volume 6824 of Lecture Notes in Artificial Intelligence, LNAI, pages 228--243, Berlin, Germany, July 2011. Springer\\discretionary-Verlag. http:\/\/dx.doi.org\/10.1007\/978-3-642-22673-1_16."},{"key":"e_1_3_2_1_8_1","first-page":"299","volume":"3","author":"Stamerjohanns H.","year":"2010","unstructured":"H. Stamerjohanns , M. Kohlhase , D. Ginev , C. David , and B. Miller . Transforming Large Collections of Scientific Publications to XML. Mathematics in Computer Science , 3 : 299 -- 307 , 2010 . http:\/\/dx.doi.org\/10.1007\/s11786-010-0024-7. 10.1007\/s11786-010-0024-7 H. Stamerjohanns, M. Kohlhase, D. Ginev, C. David, and B. Miller. Transforming Large Collections of Scientific Publications to XML. Mathematics in Computer Science, 3:299--307, 2010. http:\/\/dx.doi.org\/10.1007\/s11786-010-0024-7.","journal-title":"Transforming Large Collections of Scientific Publications to XML. Mathematics in Computer Science"},{"key":"e_1_3_2_1_9_1","first-page":"11","volume-title":"Proceedings of DML 2010","author":"Sylwestrzak W.","year":"2010","unstructured":"W. Sylwestrzak , J. Borbinha , T. Bouche , A. Nowinski , and P. Sojka . EuDML--Towards the European Digital Mathematics Library. In P. Sojka, editor , Proceedings of DML 2010 , pages 11 -- 24 , Paris, France , July 2010 . Masaryk University. http:\/\/dml.cz\/dmlcz\/702569. W. Sylwestrzak, J. Borbinha, T. Bouche, A. Nowinski, and P. Sojka. EuDML--Towards the European Digital Mathematics Library. In P. Sojka, editor, Proceedings of DML 2010, pages 11--24, Paris, France, July 2010. Masaryk University. http:\/\/dml.cz\/dmlcz\/702569."}],"event":{"name":"DocEng '11: ACM Symposium on Document Engineering","location":"Mountain View California USA","acronym":"DocEng '11","sponsor":["SIGWEB ACM Special Interest Group on Hypertext, Hypermedia, and Web","SIGDOC ACM Special Interest Group for Design of Communications"]},"container-title":["Proceedings of the 11th ACM symposium on Document engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2034691.2034703","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2034691.2034703","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:48:38Z","timestamp":1750240118000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2034691.2034703"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,9,19]]},"references-count":9,"alternative-id":["10.1145\/2034691.2034703","10.1145\/2034691"],"URL":"https:\/\/doi.org\/10.1145\/2034691.2034703","relation":{},"subject":[],"published":{"date-parts":[[2011,9,19]]},"assertion":[{"value":"2011-09-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}