Skip to content
Snippets Groups Projects
Select Git revision
  • master default
  • patch-1
2 results
Blame Permalink
Forked from KWARC / kwarc.info / www
1046 commits behind the upstream repository.
mws.md 499 B 
layout: system

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

start_date: '2005'

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.