(Thanks to Uri – Israel Defense) The Israeli start-up Eqsquest has created what is believed to be the first semantic search engine designed specifically for scientific and mathematical equations. Symbolab allows users to search for equations using both numbers, symbols and/or text. QED!
http://blogs.smithsonianmag.com/smartnews/2012/12/introducing-the-first-search-engine-for-math-and-science-equations/#ixzz2KyFMULl4