Report Error on GitHub

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. MWS performs mathematical full-text search, combining key phrase search with unification-based formula search.

Enter a key phrases with a set of formulae schemata into the search bar (written in LaTeX with ?a, ?b, ... for query variables; they are marked in different colors in the formula preview). To add a numeric range insert \range{lower}{high} or \relrange{base}{deviation} (this adds a interval from [base - base*deviation%, base + base*deviation%]) in your search query. A formula schema in a query matches any formula in the MWS index that has an instance schema as a subformula. Query variables with the same name must be instantiated with the same formula, see the examples for inspiration. ... more