A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit <a rel="external noopener" href="https://arxiv.org/pdf/1404.6476v2.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
Math Indexer and Searcher Web Interface: Towards Fulfillment of Mathematicians' Information Needs
[article]
<span title="2014-05-19">2014</span>
<i >
arXiv
</i>
<span class="release-stage" >pre-print</span>
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
<span class="external-identifiers">
<a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1404.6476v2">arXiv:1404.6476v2</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/3d63iptuazdzbcqj6n3kfq3m4i">fatcat:3d63iptuazdzbcqj6n3kfq3m4i</a>
</span>
more »
... athematics Library (EuDML). We further describe the issues addressed by formulae canonicalization and by extending the MIaS indexing engine with Content MathML support.
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20191012071825/https://arxiv.org/pdf/1404.6476v2.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
Web Archive
[PDF]
<div class="menu fulltext-thumbnail">
<img src="https://blobs.fatcat.wiki/thumbnail/pdf/ed/15/ed1549076bbd604a7c3f02a011ae162f717bf6fc.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1404.6476v2" title="arxiv.org access">
<button class="ui compact blue labeled icon button serp-button">
<i class="file alternate outline icon"></i>
arxiv.org
</button>
</a>