WikiMirs: a mathematical information retrieval system for wikipedia
A math-aware search engine for math question answering system