Math Indexer and Searcher Web Interface: Towards Fulfillment of Mathematicians' Information Needs

Warning

This publication doesn't include Faculty of Sports Studies. It includes Faculty of Informatics. Official publication website can be found on muni.cz.

Authors	LÍŠKA Martin SOJKA Petr RŮŽIČKA Michal
Year of publication	2014
Type	Article in Proceedings
Conference	Intelligent Computer Mathematics CICM 2014. Proceedings of Calculemus, DML, MKM, and Systems and Projects
MU Faculty or unit	Faculty of Informatics
Citation
Web	preprint Springer link conference web
Doi	http://dx.doi.org/10.1007/978-3-319-08434-3_36
Field	Informatics
Keywords	search interface; math-aware search; digital mathematical library; formulae canonicalization; WebMIaS; MIaS; EuDML; MathML
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 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.
Related projects:	The European Digital Mathematics Library Zastoupení ČR v European Research Consortium for Informatics and Mathematics Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity