Home
The MathWebSearch system (MWS), a content-based search engine for mathematical formulae. It indexes MathML formulae, using a technique derived from automated theorem proving: Substitution Tree Indexing.
The [MathWebSearch System] (https://github.com/KWARC/mws/wiki/SystemDescription) is a web service that indexes formulae in documents. Given a set of MwsHarvests (essentially lists of [content MathML formulae] (http://www.w3.org/TR/MathML3/chapter4.html) with their URIs) MathWebSearch builds an index datastructure that can be queried via MWS Query API (content MathML with query variables). There are various front-ends to the MathWebSearch service, for instance:
- a LaTeX-based Zentralblatt Math corpus
- a panel-based WYSIWYG interface based on Sentido.
[MWS] (https://github.com/KWARC/mws/wiki/SystemDescription) is developed by a a distributed team hosted by [Jacobs University] (http://jacobs-university.de/). The main communication medium of the MathWebSearch project is the MWS GitHub Repository and the MWS Developers Mailing List (project-MathWebSearch-dev at jacobs-university dot de). For all remaining questions, please contact Michael Kohlhase (Jacobs University Bremen).
- [ZBL Search] (http://search.mathweb.org/zbl/) - Zentralblatt Math corpus with LaTeX query interface
- [Sentido ArxivDemo] (http://search.mathweb.org/sentido/) - arXivDemo corpus with the Sentido interface
- Excel Search - Mathematical Search for spreadsheets
The software is licensed under the GNU General Public License.