Home

Welcome to the MathWebSearch system (MWS), a content-based search engine for mathematical formulae. It indexes MathML formulae, using a technique derived from automated theorem proving: Substitution Tree Indexing.

The software is licensed under the ​GNU General Public License.