WikiMirs: a mathematical information retrieval system for wikipedia
A search engine for mathematical formulae