mws.md

layout: system

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

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

website: http://search.mathweb.org
repository: http://githhub.com/KWARC/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.