MathWebSearch

Project Description: 

The MathWebSearch system (MWS) is a content-based search engine for mathematical formulae. It indexes MathML formulae, using a technique derived from automated theorem proving: Substitution Tree Indexing. Find more information at the project home page

Project Start Date: 
September, 2005