作者: Michael Kohlhase , Bogdan A. Matican , Corneliu-Claudiu Prodescu
DOI: 10.1007/978-3-642-31374-5_23
关键词:
摘要: MathWebSearch is an open-source, open-format, content-oriented search engine for mathematical formulae. It a complete system capable of crawling, indexing, and querying expressions based on their functional structure (operator tree) rather than presentation. In version 0.5, we concentrate scalability issues in to take advantage corpora the giga-formula range. We re-implemented index make it distributable made all APIs web standards conformant. Our experiments show that this architecture results scalable application.