Home

Welcome to MathWebSearch Project

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.

Using MathWebSearch

The [MathWebSearch System] (https://github.com/KWARC/mws/wiki/SystemDescription) is a web service that indexes formulae in documents. Given a set of MwsHarvests (essentially lists of ​[content MathML formulae] (http://www.w3.org/TR/MathML3/chapter4.html) with their URIs) MathWebSearch builds an index datastructure that can be queried via MWS Query API (content MathML with query variables). There are various front-ends to the MathWebSearch service, for instance:

• a LaTeX-based arXivDemo interface
• Zentralblatt interface

The MathWebSearch Project

[MWS] (https://github.com/KWARC/mws/wiki/SystemDescription) is developed by a a distributed team hosted by ​[Jacobs University] (http://jacobs-university.de/). The main communication medium of the MathWebSearch project is the ​MWS GitHub Repository and the ​MWS Developers Mailing List (project-MathWebSearch-dev at jacobs-university dot de). For all remaining questions, please contact ​Michael Kohlhase (Jacobs University Bremen).

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