MathWebSearch 0.5: Scaling an Open Formula Search Engine

作者: 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.

参考文章(18)
Martin Líška, Petr Sojka, 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. pp. 228- 243 ,(2011)
Andrea Kohlhase, Michael Kohlhase, 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. pp. 313- 326 ,(2007) , 10.1007/978-3-540-73086-6_25
Paul Libbrecht, Erica Melis, Methods to Access and Retrieve Mathematical Content in ActiveMath Lecture Notes in Computer Science. pp. 331- 342 ,(2006) , 10.1007/11832225_33
Michael Kohlhase, Ioan Sucan, None, A Search Engine for Mathematical Formulae Artificial Intelligence and Symbolic Computation. pp. 241- 253 ,(2006) , 10.1007/11856290_21
Abdou S. Youssef, 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. pp. 393- 406 ,(2007) , 10.1007/978-3-540-73086-6_31
Immanuel Normann, Michael Kohlhase, 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. pp. 356- 370 ,(2007) , 10.1007/978-3-540-73086-6_28
Wilmer Ricciotti, Andrea Asperti, A web interface for matita CICM'12 Proceedings of the 11th international conference on Intelligent Computer Mathematics. ,vol. 7362, pp. 417- 421 ,(2012) , 10.1007/978-3-642-31374-5_28
Michael Kohlhase, Joseph Corneli, Catalin David, Deyan Ginev, Constantin Jucovschi, Andrea Kohlhase, Christoph Lange, Bogdan Matican, Stefan Mirea, Vyacheslav Zholudev, The Planetary System: Web 3.0 & Active Documents for STEM international conference on conceptual structures. ,vol. 4, pp. 598- 607 ,(2011) , 10.1016/J.PROCS.2011.04.063
Michael Kohlhase, Heinrich Stamerjohanns, Transforming the arXiv to XML. AISC/MKM/Calculemus. pp. 574- 582 ,(2008)
Rajesh Munavalli, Robert Miner, MathFind Proceedings of the 29th annual international ACM SIGIR conference on Research and development in information retrieval - SIGIR '06. pp. 735- 735 ,(2006) , 10.1145/1148170.1148348