mws.md

layout: system

menu_title: MathWebSearch
shorttitle: MWS
title: MathWebSearch
teaser: A Mathematical Search Engine

start_date: '2005'
orphan: true
people: 
    - mkohlhase
    - isucan
    - cprodescu
    - rhambasan
    - ahambasan

supported-by:
    - mathsearch
    - odk


logo: public/kwarc_logo.svg
website: http://search.mathweb.org
repository: https://github.com/MathWebSearch/mws
publink: http://kwarc.github.io/bibs/mws

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. With this indexing technique MWS can answer unification queries extremely efficiently (30-100 ms) on large sets of formulae (in the Gigaformula range); but the index (up to 50GiB) needs to be kept in main memory.

MWS is the formula search engine employed in Zentralblatt Math; see a demo on a mathematical subset of the arXMLiv data set further demos.