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: term indexing.
The MWS search engine is optimized for fast query answering for interactive applications (query response times are constant at ca. 50 ms). Unification queries form the basis for expressive query languages with well-defined semantics. Any corpus whose formulae can referenced by URIs and converted to (content) MathML can be indexed by MWS.
MWS is developed by the KWARC group at Jacobs University. For details and news about the project see the MWS developer portal.
The MWS search engine can be employed by various front-ends. Here are some web-based ones.
currently under development
Our applications are largely restricted by our server capacities and in particular the RAM (we would like to offer a formula search engine for all of the arXiv.org, but would need another server with about 128GB RAM for that. If you want to donate server space or propose another application, contact Michael Kohlhase.