-
Notifications
You must be signed in to change notification settings - Fork 12
Home
mgladkova edited this page Dec 1, 2015
·
13 revisions
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 [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:
The software is licensed under the GNU General Public License.