SOJKA, Petr and Michael KOHLHASE. MIR 2012 workshop. 2012.
Other formats:   BibTeX LaTeX RIS
Basic information
Original name MIR 2012 workshop
Name in Czech MIR 2012 workshop
Authors SOJKA, Petr (203 Czech Republic, guarantor, belonging to the institution) and Michael KOHLHASE (276 Germany).
Edition 2012.
Other information
Original language English
Type of outcome organization of a conference
Field of Study 10201 Computer sciences, information science, bioinformatics
Country of publisher Italy
Confidentiality degree is not subject to a state or trade secret
WWW workshop homepage workshop programme
RIV identification code RIV/00216224:14330/12:00062376
Organization unit Faculty of Informatics
Keywords (in Czech) vyhledávání matematiky;vyhledávání matematických formulí;matematická knihovna;digitální knihovna;TeX;digitalizační nástroje;OCR;OCR matematiky;OAI-PMH
Keywords in English mathematics retrieval; math information retrieval;digital mathematics library;digital library;TeX;digitization tools;MIR
Tags International impact, Reviewed
Changed by Changed by: doc. RNDr. Petr Sojka, Ph.D., učo 2378. Changed: 18/12/2012 15:21.
Workshop was organized as part of CICM multiconference. It had two parts: MIR symposium and MIR happening. The Math IR Symposium is a traditional-style workshop with scientific contributions about mathematics information retrieval. Topics include but not limited to: MIR systems design and descriptions * requirements for mathematics information retrieval: use cases and typical queries * formula normalization, similarity, indexing and search algorithms * mathematics retrieval corpora preparation and tagging * semantically enhancing mathematical corpora for IR (from math OCR or presentation MathML in DML) * extracting semantic relations from corpora. * evaluation of MIR (methods and test corpora). The MIR 2012 workshop featured a friendly competition for the systems presented at the workshop. Since math information retrieval is still quite young and developing, we will not make this an official competition, but a happening, where we get together and test our system on a common set of problems. We expect the happening to transcend the workshop proper. The aim of the MIR happening was jointly gain a better understanding into the information retrieval needs of mathematicians and the respective strengths and weaknesses of the respective IR approaches and systems. As a tangible result of the happening the organizers will compile a survey paper and report of this newly-gained understanding. In particular, it was not an aim of the MIR happening to determine "winners" of the competition in any form. That may be an aim of a subsequent competition, when we have a better grip on the problems and possible evaluation approaches.
LA09016, research and development projectName: Účast ČR v European Research Consortium for Informatics and Mathematics (ERCIM) (Acronym: ERCIM)
Investor: Ministry of Education, Youth and Sports of the CR, INGO
250503, internal MU codeName: The European Digital Mathematics Library (Acronym: EuDML)
Investor: European Union, Competitiveness and inovation framework programme
PrintDisplayed: 29/3/2020 11:53