Welcome to MathWebSearch Project
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. The software is licensed under the GNU General Public License. System Description, Publications,...
Using MathWebSearch
The MathWebSearch System is a web service that indexes formulae in documents. Given a set of MwsHarvests (essentially lists of content MathML formulae 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 arXivDemo interface
- a panel-based WYSIWYG interface based on Sentido.
The MathWebSearch Project
MWS is developed by a a distributed team hosted by Jacobs University. The main communication medium of the MathWebSearch project is the MWS tracker (Administrativa; feel free to register an account) 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).
Demos and Installations
An experimental search service is available with the arXivDemo system. It indexes the formulae of 1000 articles of the arXiv corpus. In the future, we intend to develop search appliances for various web sites and libraries with content math.
MathWebSearch News
The 10 latest news are shown here; see the full listing for more news and more details. Please feel free to comment on the news items in the tickets.
Results (1 - 10 of 15)
Attachments
-
structure.png
(10.4 KB) -
added by kohlhase 22 months ago.
MathWebSearch? structure
