Math Indexer and Searcher Web Interface: Towards Fulfillment of Mathematicians' Information Needs
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F14%3A00075378" target="_blank" >RIV/00216224:14330/14:00075378 - isvavai.cz</a>
Result on the web
<a href="http://link.springer.com/chapter/10.1007/978-3-319-08434-3_36" target="_blank" >http://link.springer.com/chapter/10.1007/978-3-319-08434-3_36</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-319-08434-3_36" target="_blank" >10.1007/978-3-319-08434-3_36</a>
Alternative languages
Result language
angličtina
Original language name
Math Indexer and Searcher Web Interface: Towards Fulfillment of Mathematicians' Information Needs
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
IN - Informatics
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/LG13010" target="_blank" >LG13010: Czech Republic representation in the European Research Consortium for Informatics and Mathematics (ERCIM)</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach
Others
Publication year
2014
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Intelligent Computer Mathematics CICM 2014. Proceedings of Calculemus, DML, MKM, and Systems and Projects
ISBN
9783319084336
ISSN
0302-9743
e-ISSN
—
Number of pages
5
Pages from-to
444-448
Publisher name
Springer International Publishing Switzerland
Place of publication
Zurich
Event location
Coimbra, Portugal
Event date
Jul 7, 2014
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—