Math Web Search Publications

• Michael Kohlhase, Ioan Sucan, A Search Engine for Mathematical Formulae, Artificial Intelligence and Symbolic Computation, Springer Verlag, 2006. (BibTeX entry)