Kohlhase, Michael; Matican, Bogdan A.; Prodescu, Corneliu-Claudiu MathWebSearch 0.5: scaling an open formula search engine. (English) Zbl 1278.68296 Jeuring, Johan (ed.) et al., Intelligent computer mathematics. 11th international conference, AISC 2012, 19th symposium, Calculemus 2012, 5th international workshop, DML 2012, 11th international conference, MKM 2012, systems and projects, held as part of CICM 2012, Bremen, Germany, July 8–13, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31373-8/pbk). Lecture Notes in Computer Science 7362. Lecture Notes in Artificial Intelligence, 342-357 (2012). Summary: 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.For the entire collection see [Zbl 1245.68013]. Cited in 2 Documents MSC: 68T30 Knowledge representation 68M11 Internet topics 68P20 Information storage and retrieval of data Software:MathWebSearch; LaTeXML PDFBibTeX XMLCite \textit{M. Kohlhase} et al., Lect. Notes Comput. Sci. 7362, 342--357 (2012; Zbl 1278.68296) Full Text: DOI