A math-aware search engine for math question answering system
A search engine for mathematical formulae