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
Blame Permalink
mws.md 1.58 KiB 
layout: system

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

start_date: '2005'
orphan: true
people: 
    - mkohlhase
    - isucan
    - cprodescu
    - rhambasan
    - ahambasan
    - twiesing
supported-by:
    - mathsearch
    - odk
    - oaf

logo: public/kwarc_logo.svg
website: http://search.mathweb.org
repository: https://github.com/MathWebSearch
publink: http://kwarc.github.io/bibs/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. With this indexing technique MWS can answer unification queries extremely efficiently (30-100 ms) on large sets of formulae (in the Gigaformula range); but the index (up to 50GiB) needs to be kept in main memory.

MWS is the formula search engine employed in Zentralblatt Math; see a demo on a mathematical subset of the arXMLiv data set further demos.

The MathWebSearch system is Open Source, developed on GitHub, and is (by now) easily deployable via a set of docker containers. We can give your project a search interface like the nLab search for nLab at the cost of theming the user interface and building a harvester.