Skip to content
Snippets Groups Projects
Select Git revision
  • master default
  • patch-1
2 results
Blame Permalink
Forked from KWARC / kwarc.info / www
1120 commits behind the upstream repository.
mws.md 524 B 
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 or the GitHub Repository.