---
layout: system
menu_title: MathWebSearch
title: "MathWebSearch a Mathematical Search Engine"
pillar: KMR
start: 2005
people: mkohlhase,isucan,cprodescu,rhambasan,ahambasan
---

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. Find more information at the
[Project Overview Page](http://search.mathweb.org) or the
[GitHub Repository](http://githhub.com/KWARC/mws).