Math Web Search
The MathWebSearch system is a content-based search engine for mathematical formulae. It indexes OpenMath and MathML formulae, using a technique derived from automated theorem proving: Substitution Tree Indexing. A running implementation is available at http://search.mathweb.org. The software is licensed under the GNU General Public License.