Web Interface and Collection for Mathematical Retrieval : WebMIaS and MREC
Líška, Martin ; Sojka, Petr ; Růžička, Michal ; Mravec, Petr
Towards a Digital Mathematics Library. Bertinoro, Italy, July 20-21st, 2011, GDML_Books, (2011), p. 77-84 / Harvested from

We demonstrate searching of mathematical expressions in technical digital libraries on a MREC collection of 439,423 real scientific documents with more than 158 million mathematical formulae. Our solution—the WebMIaS system—allows the retrieval of mathematical expressions written in TeX or MathML. TeX queries are converted on-the-fly into tree representations of Presentation MathML, which is used for indexing. WebMIaS allows complex queries composed of plain text and mathematical formulae, using MIaS (Math Indexer and Searcher), a math aware search engine based on the state-of-the-art system Lucene. MIaS implements proximity math indexing with a subformulae similarity search.

EUDML-ID : urn:eudml:doc:220598
Mots clés:
Mots clés:
@article{702604,
     title = {Web Interface and Collection for Mathematical Retrieval : WebMIaS and MREC},
     booktitle = {Towards a Digital Mathematics Library. Bertinoro, Italy, July 20-21st, 2011},
     series = {GDML\_Books},
     publisher = {Masaryk University Press},
     address = {Brno, Czech Republic},
     year = {2011},
     pages = {77-84},
     url = {http://dml.mathdoc.fr/item/702604}
}
Líška, Martin; Sojka, Petr; Růžička, Michal; Mravec, Petr. Web Interface and Collection for Mathematical Retrieval : WebMIaS and MREC, dans Towards a Digital Mathematics Library. Bertinoro, Italy, July 20-21st, 2011, GDML_Books,  (2011), pp. 77-84. http://gdmltest.u-ga.fr/item/702604/

MREC—Mathematical REtrieval Collection, http://nlp.fi.muni.cz/projekty/eudml/MREC/index.html

Kováčik, O.; Rákosník, J. On spaces Lp(x) and Wk,p(x) , Czechoslovak Mathematical Journal 41, 592–618 (1991), http://dml.cz/dmlcz/102493 (1991) | MR 1134951

Archambault, D.; Moço, V. Canonical MathML to Simplify Conversion of MathML to Braille Mathematical Notations, In: Miesenberger, K., Klaus, J., Zagler, W., Karshmer, A. (eds.) Computers Helping People with Special Needs, Lecture Notes in Computer Science, vol. 4061, pp. 1191–1198. Springer Berlin / Heidelberg (2006), http://dx.doi.org/10.1007/11788713_172 (2006)

Stamerjohanns, H.; Ginev, D.; David, C.; Misev, D.; Zamdzhiev, V.; Kohlhase, M. MathML-aware Article Conversion from LaTeX, In: Sojka, P. (ed.) Proceedings of DML 2009. pp. 109–120. Masaryk University, Grand Bend, Ontario, CA (Jul 2009), http://dml.cz/dmlcz/702561 (2009)

Grimm, J. Producing MathML with Tralics, In: Sojka, P. (ed.): Towards a Digital Mathematics Library. Masaryk University, Paris, France (Jul 2010), http://www.fi.muni.cz/~sojka/dml-2010-program.html, pp. 105–117, http://dml.cz/dmlcz/702579 (2010)

Sojka, P. Towards a Digital Mathematics Library, Masaryk University, Paris, France (Jul 2010), http://www.fi.muni.cz/~sojka/dml-2010-program.html (2010)

Stamerjohanns, H.; Kohlhase, M.; Ginev, D.; David, C.; Miller, B. Transforming Large Collections of Scientific Publications to XML, Mathematics in Computer Science 3, 299–307 (2010), http://dx.doi.org/10.1007/s11786-010-0024-7 (2010) | Zbl 1205.68490

Sylwestrzak, W.; Borbinha, J.; Bouche, T.; Nowiński, A.; Sojka, P. EuDML—Towards the European Digital Mathematics Library, In: Sojka, P. (ed.): Towards a Digital Mathematics Library. Masaryk University, Paris, France (Jul 2010), http://www.fi.muni.cz/~sojka/dml-2010-program.html, pp. 11–24, http://dml.cz/ dmlcz/702569 (2010)

Sojka, P.; Líška, M. Indexing and Searching Mathematics in Digital Libraries – Architecture, Design and Scalability Issues, In: Davenport, J.H., Farmer, W., Rabe, F., Urban, J. (eds.) Proceedings of CICM Conference 2011 (Calculemus/MKM). Lecture Notes in Artificial Intelligence, LNAI, vol. 6824, pp. 228–243. Springer-Verlag, Berlin, Germany (Jul 2011) (2011)