MathWebSearch 0.5: scaling an open formula search engine

Authors:
Michael Kohlhase;Bogdan A. Matican;Corneliu-Claudiu Prodescu
Affiliations:
Computer Science, Jacobs University Bremen, Germany;Computer Science, Jacobs University Bremen, Germany;Computer Science, Jacobs University Bremen, Germany
Venue:
CICM'12 Proceedings of the 11th international conference on Intelligent Computer Mathematics
Year:
2012

Citing 12
Cited 1

Term Indexing

Term Indexing
MathFind: a math-aware search engine

SIGIR '06 Proceedings of the 29th annual international ACM SIGIR conference on Research and development in information retrieval
Reexamining the MKM Value Proposition: From Math Web Search to Math Web ReSearch

Calculemus '07 / MKM '07 Proceedings of the 14th symposium on Towards Mechanized Mathematical Assistants: 6th International Conference
Extended Formula Normalization for ε-Retrieval and Sharing of Mathematical Knowledge

Calculemus '07 / MKM '07 Proceedings of the 14th symposium on Towards Mechanized Mathematical Assistants: 6th International Conference
Methods of Relevance Ranking and Hit-content Generation in Math Search

Calculemus '07 / MKM '07 Proceedings of the 14th symposium on Towards Mechanized Mathematical Assistants: 6th International Conference
Transforming the ar Χ iv to XML

Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
R Cookbook

R Cookbook
Indexing and searching mathematics in digital libraries: architecture, design and scalability issues

MKM'11 Proceedings of the 18th Calculemus and 10th international conference on Intelligent computer mathematics
The LaTeXML daemon: editable math on the collaborative web

MKM'11 Proceedings of the 18th Calculemus and 10th international conference on Intelligent computer mathematics
Roles of math search in mathematics

MKM'06 Proceedings of the 5th international conference on Mathematical Knowledge Management
Methods to access and retrieve mathematical content in ACTIVEMATH

ICMS'06 Proceedings of the Second international conference on Mathematical Software
A search engine for mathematical formulae

AISC'06 Proceedings of the 8th international conference on Artificial Intelligence and Symbolic Computation

The Mizar Mathematical Library in OMDoc: Translation and Applications

Journal of Automated Reasoning

Quantified Score

Hi-index	0.00

Visualization

Abstract

MathWebSearch is an open-source, open-format, content-oriented search engine for mathematical formulae. It is a complete system capable of crawling, indexing, and querying expressions based on their functional structure (operator tree) rather than their presentation. In version 0.5, we concentrate on scalability issues in MathWebSearch to take advantage of corpora in the giga-formula range. We re-implemented the index to make it distributable and made all the APIs web standards conformant. Our experiments show that this architecture results in a scalable application.