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
---

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.