-
Notifications
You must be signed in to change notification settings - Fork 12
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 ( at dot ). For all remaining questions, please contact [Michael Kohlhase] (https://kwarc.info/people/mkohlhase/) (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
In the future, we intend to develop search appliances for various web sites and libraries with content math.
The software is licensed under the GNU General Public License.