Towards Digital Mathematics Libraries: Collection and Search (invited talk 7.9.2012, Coimbra University, Math Dept, PT)
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F12%3A00060855" target="_blank" >RIV/00216224:14330/12:00060855 - isvavai.cz</a>
Výsledek na webu
<a href="http://www.fi.muni.cz/usr/sojka/presentations/sojka-coimbra-pres2012.pdf" target="_blank" >http://www.fi.muni.cz/usr/sojka/presentations/sojka-coimbra-pres2012.pdf</a>
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Towards Digital Mathematics Libraries: Collection and Search (invited talk 7.9.2012, Coimbra University, Math Dept, PT)
Popis výsledku v původním jazyce
The talk will consist of two parts: Collection and Search. Collection: Projects DML-CZ and EuDML will be described and demoed, and the main lessons from them enumerated. Attention will be given to the process of creation and delivery of new metadata to global DML as EuDML via local repositories like DML-CZ. Search: The recent move to the semantic search and MathML has brought renewed attention to the need of unambiguous canonical math representation in texts. As part of the project of building the European Digital Mathematics Library (http://www.eudml.eu) we have designed and implemented a math search engine, MIaS (http://nlp.fi.muni.cz/projekty/eudml/mias). It currently indexes and searches more than 160,000,000 formulae originally written by authorsin TeX in their scientific papers. We will present the system and will discuss the ways towards a global math search engine based on the TeX math notation.
Název v anglickém jazyce
Towards Digital Mathematics Libraries: Collection and Search (invited talk 7.9.2012, Coimbra University, Math Dept, PT)
Popis výsledku anglicky
The talk will consist of two parts: Collection and Search. Collection: Projects DML-CZ and EuDML will be described and demoed, and the main lessons from them enumerated. Attention will be given to the process of creation and delivery of new metadata to global DML as EuDML via local repositories like DML-CZ. Search: The recent move to the semantic search and MathML has brought renewed attention to the need of unambiguous canonical math representation in texts. As part of the project of building the European Digital Mathematics Library (http://www.eudml.eu) we have designed and implemented a math search engine, MIaS (http://nlp.fi.muni.cz/projekty/eudml/mias). It currently indexes and searches more than 160,000,000 formulae originally written by authorsin TeX in their scientific papers. We will present the system and will discuss the ways towards a global math search engine based on the TeX math notation.
Klasifikace
Druh
O - Ostatní výsledky
CEP obor
IN - Informatika
OECD FORD obor
—
Návaznosti výsledku
Projekt
<a href="/cs/project/LA09016" target="_blank" >LA09016: Účast ČR v European Research Consortium for Informatics and Mathematics (ERCIM)</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach
Ostatní
Rok uplatnění
2012
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů