Identifikační kód | RIV/00216224:14330/14:00075378 |
Název v anglickém jazyce | Math Indexer and Searcher Web Interface: Towards Fulfillment of Mathematicians' Information Needs |
Druh | D - Článek ve sborníku |
Jazyk | eng - angličtina |
Obor - skupina | I - Informatika |
Obor | IN - Informatika |
Rok uplatnění | 2014 |
Kód důvěrnosti údajů | S - Úplné a pravdivé údaje o výsledku nepodléhající ochraně podle zvláštních právních předpisů. |
Počet výskytů výsledku | 1 |
Počet tvůrců celkem | 3 |
Počet domácích tvůrců | 3 |
Výčet všech uvedených jednotlivých tvůrců | Martin Líška (státní příslušnost: SK - Slovenská republika, domácí tvůrce: A, vedidk: 4357469) Petr Sojka (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 7883927) Michal Růžička (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 9619097) |
Popis výsledku v anglickém jazyce | We are designing and developing a web user interface for digital mathematics libraries called WebMIaS. It allows queries to be expressed by mathematicians through a faceted search interface. Users can combine standard textual autocompleted keywords withkeywords in the form of mathematical formulae in LaTeX or MathML formats. Formulae are shown rendered by the web browser on-the-fly for users? feedback. We describe WebMIaS design principles and our experiences deploying in the European Digital Mathematics Library (EuDML). We further describe the issues addressed by formulae canonicalization and by extending the MIaS indexing engine with Content MathML support. |
Klíčová slova oddělená středníkem | search interface; math-aware search; digital mathematical library; formulae canonicalization; WebMIaS; MIaS; EuDML; MathML |
Stránka www, na které se nachází výsledek | http://link.springer.com/chapter/10.1007/978-3-319-08434-3_36 |
DOI výsledku | 10.1007/978-3-319-08434-3_36 |