Welcome to MathWebSearch

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,...

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.

MWS can be queried via

• the  arXivDemo interface
• the MWS Query API using simple extensions of the base format  MathML

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).

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 13)

Summary	Reporter	Ticket
2011-08-09: MathWebSearch 0.5 paper accepted at LWA 2011	cprodescu	#1431
2011-05-29: MathWebSearch 0.5 System available!	cprodescu	#1411
2010-08-10: Reviving MathWebSearch (TRAC-based portal)	kohlhase	#1393
2009-08-29: Master's Thesis about MWS submitted	kohlhase	#1391
2008-05-22: New paper about MWS 0.4	kohlhase	#1390
2007-08-28: Bachelor's Thesis about combining full-text search with MWS	kohlhase	#1392
2007-08-27: Version 0.3	kohlhase	#1383
2007-06-29: MWS paper presented at MKM 2007	kohlhase	#1387
2007-01-30: Beta search site	kohlhase	#1384
2007-01-25:MathWebSearch Plugin for Firefox and IE	kohlhase	#1385