Presenting and Searching Mathematics in Digital Repositories

Authors

  • Peter Stanchev Institute of Mathematics and Informatics, BAS, Bulgaria; Kettering University, Flint, USA
  • Jiří Rákosník Institute of Mathematics, CAS, Czech Republic
  • Radoslav Pavlov Institute of Mathematics and Informatics, BAS, Bulgaria
  • Georgi Simeonov Institute of Mathematics and Informatics, BAS, Bulgaria

DOI:

https://doi.org/10.55630/dipp.2015.5.5

Keywords:

Digital Mathematics Library, Formula search

Abstract

The paper presents an overview of the current development of tools for search for mathematical formulae and their implementation in Digital Mat hematical Libraries and reference databases such as zbMATH, MathSciNet and EuDML for mathematical scholarly literature.

References

AMS- LATEX http://www.ams.org/publications/authors/tex/amslatex/.

Anca, Ş.: MaTeSearch. A combined math and text search engine. Bachelor’s thesis, Jacobs University Bremen, 2007. http://www.eecs.jacobs university.de/archive/bsc - 2007/anca.pdf.

Apache Lucene. https://lucene.apache.org/.

Apache Nutch. http://nutch.apache.org/.

Bulgarian Mathematics Digital Library, http://sci gems.math.bas.bg/.

Buswell, S., Caprotti, O., Carlisle, D. P., Dewar, M. C., Gaetano, M., Kohlhase, M.: The Open Math standard, version 2.0. Technical report. The Open Math Society, 2004. http://www.openmath.org/standard/om20.

Czech Digital Mathematics Library, http://dml.cz/.

Digital Library of Mathematical Functions. http://dlmf.nist.gov/.

EgoMath. http://www.swmath.org/software/9766.

Elastic Search. https://www.elastic.co/.

EuDML. The European Digital mathematics Library. http://eudml.org/.

Ginev, D., Stamerjohanns, H., Miller, B. R., Kohlhase , M.: The LaTeXML Daemon: Editable Math on the Collaborative Web. In J. Davenport, W. Farmer, F. Rabe, J. Urban (eds.): Intelligent Computer Mathematics. 18th symposium, Calculemus 2011, and 10th i nternational conference, MKM 2011, Bertinoro, Italy, July 1 –23, 2011. Proceedings. Lecture Notes in Computer Science 6824. Lecture Notes in Artificial Intelligence, vol. 6824. Springer, 2011, pp. 292 – 294.

Hambasan, R., Kohlhase, M., Prodescu, C.: MathWebSearch at NTCIR -11. Proceedings of the 11th NTCIR Conference, December 9 – 12, 2014, Tokyo, Japan, pp. 1114 – 119.

Hijikata, Y., Hashimoto, H., Nishida, S.: Search mathematical formulas by mathematical formulas. In M. J. Smith, G. Salvendy (eds.): Symposium on Human Interface 2009, Held as Part of HCI International 20 09, San Diego, CA, USA, July 19 – 24, 2009, Proceedings, Part I. Lecture Notes in Computer Science, vol. 5617. Springer, 2009, pp. 404 –411.

Iancu, M., Kohlhase, M., Prodescu, C.: Representing, archiving, and searching the space of mathematical knowledge. In H. Hong and C. Yap (eds.): Mathematical software – ICMS 2014. 4th international congress, Seoul, South Korea, August 5– 9, 2014. Proceedings. Le cture Notes in Computer Science, vol. 8592. Springer, 2014, pp. 26 –30.

Iancu, M., Kohlhase, M., Rabe, F., Urban, J.: The Mizar Mathematical Library in OMDoc: Translation and Applications. J. Autom Reasoning 50, no. 2 (2013), 191 –202.

Knuth, D. E.: The TEXbook. Addison - Wesley Professional, 1984.

Kohlhase, M., Matican, B. A., Prodescu, C.- C.: MathWebSearch 0.5: Scaling an open fo rmula search engine. In J. Jeuring, J. A. Campbell, J. Carette, G. Dos Reis, P. Sojka, M. Wenzel, V. Sorge (eds.): Intelligent computer mathematics. 11th international conference, AISC 2012, 19th symposium, Calculemus 2012, 5th international workshop, DML 2012, 11th international conference, MKM 2012, systems and projects, held as part of CICM 2012, Bremen, Germany, July 8 – 13, 2012. Proceedings. Lecture Notes in Computer Sc ience, vol. 7362. Lecture Notes in Artificial Intelligence. Springer, 2012, pp. 342 – 357.

Kohlhase, M., Sucan, I.: A search engine for mathematical formulae. In T. Ida, J. Calmet, D. Wang (eds.): Artificial intelligence and symbolic computation. 8th international confe rence, AISC 2006, Beijing, China, September 20 –22, 2006. Proceedings. Lecture Notes in Computer Science, vol. 4120. Lecture Notes in Artificial Intelligence, Springer, 2006, pp. 241–253.

Lamport, L.: LaTeX : A document preparation system. Addison -Wesley Professional, 1994.

LaTeXML. A LaTeX to XML/HTML/MathML Converte r. http://dlmf.nist.gov/LaTeXML/.

LaTeXSearchBeta. http://latexsearch.com/.

Libbrecht, P., Melis, E.: Methods for access and retrieval of mathematical content in A ctiveMath. In N. Takayama, A. Iglesias (eds.): Mathematical software – ICMS 2006. Second int ernational congress on mathematical software, Castro Urdiales, Spain, September 1– 3, 2006. Proceedings. Lecture Notes in Computer Science, vol. 4151. Springer, 2006, pp. 331 –342.

Líška, M., Sojka, P., Růžička, M., Mravec, P.: Web Interface and Collection for Mathematical Retrieval: WebMIaS and MREC. In P. Sojka, T. Bouche (eds.): Towards a Digital Mathematics Library. Bertinoro, Italy, July 20 – 21st, 2011. Masaryk University Press, Brno, Czech Republic, 2011, pp. 77 – 84. http://dml.cz/dmlcz/702604.

Mathemati cal Reviews. http://www.ams.org/mr database/.

MathJax. https://www.mathjax.org/.

MathML. W3C Math Home. http://www.w3.org/Math/.

MathSciNet. Mathematical Reviews. http://www.ams.org/mathscinet/.

Miller, B., Youssef, A.: Technical aspects of the digital library of mathematical functions. Annals of Mathematics and Artificial Intelligence, 38 (2003), no. 1 –3, 121–136.

Mizar. http://mizar.org/.

MRef. http://www.ams.org/mathscinet -mref

MR Lookup. http://www.ams.org/mrlookup.

NLM Journal Archiving and Interchange Tag Suite. http://dtd.nlm.nih.gov/.

Open Mathematical Documents. https://trac.omdoc.org/OMDoc/.

OpenMath. http://www.openmath.org/.

Rákosník, J., Stanchev, P., Pavlov, R.: Recent Developments in Digital Mathematics L ibraries. IR. Pavlov, P. Stanchev (eds.): Digital Presentation and Preservation of Cultural and Scientific Heritage. Proceedings of the international conference, Veliko Tarnovo, Bu lgaria, 18 – 21 September 2014. Vol. 4. Sofia, 2014, pp. 59 – 68.

Sojka, P., Líška, M.: Indexing and searching mathematics in digital libraries – architecture, design and scalability issues. In J. Davenport, W. Farmer, F. Rabe, J. Urban (eds.): Intell igent Computer Mathematics. 18th symposium, Calculemus 2011, and 10th international conference, MKM 2011, Bertin oro, Italy, July 18 –23, 2011. Proceedings. Lecture Notes in Computer Science 6824. Lecture Notes in Artificial Intelligence, vol. 6824. Springer, 2011, pp. 228 –243.

The Project of the European Digital Mathematics Library. http://project.eudml.org/.

zbMATH. https://zbmath.org/.

Downloads

Published

2015-09-30

How to Cite

Stanchev, P., Rákosník, J., Pavlov, R., & Simeonov, G. (2015). Presenting and Searching Mathematics in Digital Repositories. Digital Presentation and Preservation of Cultural and Scientific Heritage, 5, 65–71. https://doi.org/10.55630/dipp.2015.5.5