A mathematics retrieval system for formulae in layout presentations
A search engine for mathematical formulae