| LÍŠKA, Martin, Petr SOJKA and Michal RŮŽIČKA. Math Indexer and Searcher Web Interface: Towards Fulfillment of Mathematicians' Information Needs. In Stephen M. Watt, James H. Davenport, Alan P. Sexton, Petr Sojka, Josef Urban. Intelligent Computer Mathematics CICM 2014. Proceedings of Calculemus, DML, MKM, and Systems and Projects. LNAI 8543. Zurich: Springer International Publishing Switzerland, 2014, p. 444-448. ISBN 978-3-319-08433-6. Available from: https://dx.doi.org/10.1007/978-3-319-08434-3_36. |
Other formats:
BibTeX
LaTeX
RIS
@inproceedings{1181486,
author = {Líška, Martin and Sojka, Petr and Růžička, Michal},
address = {Zurich},
booktitle = {Intelligent Computer Mathematics CICM 2014. Proceedings of Calculemus, DML, MKM, and Systems and Projects},
doi = {http://dx.doi.org/10.1007/978-3-319-08434-3_36},
edition = {LNAI 8543},
editor = {Stephen M. Watt, James H. Davenport, Alan P. Sexton, Petr Sojka, Josef Urban},
keywords = {search interface; math-aware search; digital mathematical library; formulae canonicalization; WebMIaS; MIaS; EuDML; MathML},
howpublished = {tištěná verze "print"},
language = {eng},
location = {Zurich},
isbn = {978-3-319-08433-6},
pages = {444-448},
publisher = {Springer International Publishing Switzerland},
title = {Math Indexer and Searcher Web Interface: Towards Fulfillment of Mathematicians' Information Needs},
url = {http://arxiv.org/abs/1404.6476},
year = {2014}
}
TY - JOUR
ID - 1181486
AU - Líška, Martin - Sojka, Petr - Růžička, Michal
PY - 2014
TI - Math Indexer and Searcher Web Interface: Towards Fulfillment of Mathematicians' Information Needs
PB - Springer International Publishing Switzerland
CY - Zurich
SN - 9783319084336
KW - search interface
KW - math-aware search
KW - digital mathematical library
KW - formulae canonicalization
KW - WebMIaS
KW - MIaS
KW - EuDML
KW - MathML
UR - http://arxiv.org/abs/1404.6476
L2 - http://link.springer.com/chapter/10.1007/978-3-319-08434-3_36
N2 - 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 with keywords 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.
ER -
LÍŠKA, Martin, Petr SOJKA and Michal RŮŽIČKA. Math Indexer and Searcher Web Interface: Towards Fulfillment of Mathematicians' Information Needs. In Stephen M. Watt, James H. Davenport, Alan P. Sexton, Petr Sojka, Josef Urban. \textit{Intelligent Computer Mathematics CICM 2014. Proceedings of Calculemus, DML, MKM, and Systems and Projects}. LNAI 8543. Zurich: Springer International Publishing Switzerland, 2014, p.~444-448. ISBN~978-3-319-08433-6. Available from: https://dx.doi.org/10.1007/978-3-319-08434-3\_{}36.
|
