2014/04/25 by Martin Líška, Líška, Martin, Petr Sojka +3 · 1 citation
Arts and Humanities · Computer Science · #Advanced Database Systems and Queries #Digital Humanities and Scholarship #Digital Libraries (cs.DL) #FOS: Computer and information sciences #H.3.6 #H.3.7 #H.5.3 #Mathematics, Computing, and Information Processing
paper · pdf · doi:10.48550/arxiv.1404.6476
openalex publication_date 2014/04/25 · openalex created_date 2019/06/27 · openalex updated_date 2026/07/28
We are designing and developing a web user interface for digital mathematics\nlibraries called WebMIaS. It allows queries to be expressed by mathematicians\nthrough a faceted search interface. Users can combine standard textual\nautocompleted keywords with keywords in the form of mathematical formulae in\nLaTeX or MathML formats. Formulae are shown rendered by the web browser\non-the-fly for users' feedback. We describe WebMIaS design principles and our\nexperiences deploying in the European Digital Mathematics Library (EuDML). We\nfurther describe the issues addressed by formulae canonicalization and by\nextending the MIaS indexing engine with Content MathML support.\n