A mathematics retrieval system for formulae in layout presentations
A math-aware search engine for math question answering system