A search engine for mathematical formulae - Kohlhase, Michael; Sucan, Ioan (8th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2006, 2006)