×

MathWebSearch

swMATH ID: 3712
Software Authors: Michael Kohlhase, Bogdan A. Matican, Corneliu-Claudiu Prodescu
Description: 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.
Homepage: http://trac.mathweb.org/MWS
Programming Languages: C++
Related Software: OMDoc; MMT; Mizar; DLMF; ActiveMath; MoMM; QMT; Mathfind; HOL Light; Coq; LATIN; LaTeX; LaTeXML; TNTBase; seL4; IMPS; OEIS; TPTP; PVS; Isabelle/HOL
Cited in: 21 Documents

Standard Articles

2 Publications describing the Software, including 2 Publications in zbMATH Year
MathWebSearch 0.5: scaling an open formula search engine. Zbl 1278.68296
Kohlhase, Michael; Matican, Bogdan A.; Prodescu, Corneliu-Claudiu
2012
A search engine for mathematical formulae. Zbl 1156.68306
Kohlhase, Michael; Sucan, Ioan
2006
all top 5

Cited by 41 Authors

7 Kohlhase, Michael
6 Rabe, Florian
2 Iancu, Mihnea
2 Youssef, Abdou S.
1 Aizawa, Akiko N.
1 Altamimi, Moody Ebrahem
1 Ataeva, O. M.
1 Cohl, Howard Saul
1 Danoff, Alex A.
1 David, Catalin
1 Galambos, Leo
1 Giceva, Jana
1 Ginev, Deyan
1 Guidi, Ferruccio
1 Kaliszyk, Cezary
1 Kristianto, Giovanni Yoko
1 Kumar Perepu, Pavan
1 Lange, Christoph
1 Libbrecht, Paul
1 Luzhnica, Enxhell
1 Matican, Bogdan A.
1 McClain, Marjorie A.
1 Melis, Erica
1 Miller, Bruce R.
1 Mišutka, Jozef
1 Mohammed, Azeem S.
1 Nghiem, Minh-Quoc
1 Orakwue, Awelemdy
1 Prodescu, Corneliu-Claudiu
1 Sacerdoti Coen, Claudio
1 Saunders, Bonita V.
1 Schubotz, Moritz
1 Serebryakov, V. A.
1 Stamerjohanns, Heinrich
1 Şucan, Ioan A.
1 Topić, Goran
1 Tuchkova, Natal’ya Pavlovna
1 Urban, Josef
1 Zanibbi, Richard
1 Zhang, Qun
1 Zou, Cherry Y.
all top 5

Cited in 6 Serials

3 Mathematics in Computer Science
1 Journal of Automated Reasoning
1 Lobachevskii Journal of Mathematics
1 Parallel Processing Letters
1 Logica Universalis
1 Journal of Formalized Reasoning
all top 5

Cited in 7 Fields

20 Computer science (68-XX)
1 General and overarching topics; collections (00-XX)
1 Mathematical logic and foundations (03-XX)
1 Number theory (11-XX)
1 Special functions (33-XX)
1 Partial differential equations (35-XX)
1 Mathematics education (97-XX)

Citations by Year