MathWebSearch 0.5: Scaling an Open Formula Search Engine. 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.

References in zbMATH (referenced in 20 articles , 2 standard articles )

Showing results 1 to 20 of 20.
Sorted by year (citations)

  1. Ataeva, O. M.; Serebryakov, V. A.; Tuchkova, N. P.: Mathematical physics branches: identifying mixed type equations (2019)
  2. Guidi, Ferruccio; Sacerdoti Coen, Claudio: A survey on retrieval of mathematical knowledge (2016)
  3. Kohlhase, Michael; Rabe, Florian: QED reloaded: towards a pluralistic formal library of mathematical knowledge (2016)
  4. Luzhnica, Enxhell; Kohlhase, Michael: Formula semantification and automated relation finding in the On-line Encyclopedia of Integer Sequences (2016)
  5. Rabe, Florian: The future of logic: foundation-independence (2016)
  6. Cohl, Howard S.; Schubotz, Moritz; McClain, Marjorie A.; Saunders, Bonita V.; Zou, Cherry Y.; Mohammed, Azeem S.; Danoff, Alex A.: Growing the digital repository of mathematical formulae with generic \LaTeXsources (2015)
  7. Iancu, Mihnea; Kohlhase, Michael: Math literate knowledge management via induced material (2015)
  8. Zanibbi, Richard; Orakwue, Awelemdy: Math search for the masses: multimodal search interfaces and appearance-based retrieval (2015)
  9. Kaliszyk, Cezary; Rabe, Florian: Towards knowledge management for HOL Light (2014)
  10. Nghiem, Minh-Quoc; Kristianto, Giovanni Yoko; Topić, Goran; Aizawa, Akiko: Which one is better: presentation-based or content-based math search? (2014)
  11. Zhang, Qun; Youssef, Abdou: An approach to math-similarity search (2014)
  12. Iancu, Mihnea; Kohlhase, Michael; Rabe, Florian; Urban, Josef: The Mizar Mathematical Library in OMDoc: translation and applications (2013)
  13. Kohlhase, Michael; Matican, Bogdan A.; Prodescu, Corneliu-Claudiu: MathWebSearch 0.5: scaling an open formula search engine (2012)
  14. Rabe, Florian: A query language for formal mathematical libraries (2012)
  15. Stamerjohanns, Heinrich; Kohlhase, Michael; Ginev, Deyan; David, Catalin; Miller, Bruce: Transforming large collections of scientific publications to XML (2010)
  16. Giceva, Jana; Lange, Christoph; Rabe, Florian: Integrating web services into active mathematical documents (2009)
  17. Altamimi, Moody Ebrahem; Youssef, Abdou: A math query language with an expanded set of wildcards (2008)
  18. Mišutka, Jozef; Galamboš, Leo: Extending full text search engine for mathematical content (2008)
  19. Kohlhase, Michael; Sucan, Ioan: A search engine for mathematical formulae (2006)
  20. Libbrecht, Paul; Melis, Erica: Methods to access and retrieve mathematical content in ActiveMath (2006)