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 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.