Skip to content
Snippets Groups Projects
Select Git revision
  • master default
  • zolekode-master-patch-26857
  • zolekode-master-patch-78201
  • zolekode-master-patch-54259
  • zolekode-master-patch-38209
5 results

mws.md

Blame
    • mws.md 525 B 
    layout: project
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.