MathWebSearch 0.5: Scaling an Open Formula Search Engine

Abstract

MathWebSearch is an open-source, open-format, contentoriented 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.

DOI: 10.1007/978-3-642-31374-5_23

Extracted Key Phrases

6 Figures and Tables

Cite this paper

@inproceedings{Kohlhase2012MathWebSearch0S, title={MathWebSearch 0.5: Scaling an Open Formula Search Engine}, author={Michael Kohlhase and Bogdan Matican and Corneliu-Claudiu Prodescu}, booktitle={AISC/MKM/Calculemus}, year={2012} }