43 citations · 141 across the 21 of their papers we have counts for
Showing cs.DLShow all
2 papers · 1 filter
cs.DL2021
WebMIaS on Docker: Deploying Math-Aware Search in a Single Line of Code
Dávid Lupták, Vít Novotný, Michal Štefánik +1
Math informational retrieval (MIR) search engines are absent in the wide-spread production use, even though documents in the STEM fields contain many mathematical formulae, which a…
cs.DL2014★ 3 cited
Math Indexer and Searcher Web Interface: Towards Fulfillment of Mathematicians' Information Needs
Martin Líška, Petr Sojka, Michal Růžička
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…