Skip to content
Snippets Groups Projects
Normal view Permalink
mws.md 524 B
Newer Older
  • Learn to ignore specific revisions
    • Michael Kohlhase's avatar
    more projects
    Michael Kohlhase committed
    1 
    ---
    Michael Kohlhase's avatar
    more systems  
    Michael Kohlhase committed
    2 
    layout: system
    Michael Kohlhase's avatar
    more projects
    Michael Kohlhase committed
    3 4 5 6 7 8 9 10 11 12 13 14 
    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).