SpringerLink
Log in

Search in Collections of Mathematical Articles

  • Conference paper
Trends and Advances in Information Systems and Technologies (WorldCIST'18 2018)

Part of the book series: Advances in Intelligent Systems and Computing ((AISC,volume 745))

Included in the following conference series:

  • 8635 Accesses

Abstract

In this paper we analyze an approach to semantic search of the mathematical expressions, allowing to perform queries and seek for the mathematical formulae by textual names of the variables contained in the formulae. We propose the method of establishing relations between textual definitions of variables and formulae containing these variables. Marked up formulae are related via noun phrases to the concepts of mathematical ontology. We describe software implementation of semantic search in mathematical documents. We also discuss ways to increase the search efficiency by improving accuracy of noun phrases extraction and establishing relations between these entities and formulae. The research showed the general efficiency of the method and a high percentage of relevant relations established.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
EUR 32.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or Ebook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 259.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 329.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free ship** worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others

References

  1. National Research Council: Develo** a 21st Century Global Library for Mathematics Research. The National Academies Press, Washington, D.C., 131 p. (2014)

    Google Scholar 

  2. World Digital Mathematics Library (WDML). https://www.mathunion.org/ceic/library/world-digital-mathematics-library-wdml. Accessed 07 Jan 2018

  3. Olver, P.J.: The world digital mathematics library: report of a panel discussion. In: Proceedings of the International Congress of Mathematicians, August 13–21, 2014, Seoul, Korea, vol. 1, pp. 773–785. Kyung Moon SA (2014)

    Google Scholar 

  4. Elizarov, A.M., Lipachev, E.K.: Lobachevskii-DML: Object approach to the creation of a digital mathematical library. In: Proceedings of the XIX International Conference “Data Analytics and Management in Data Intensive Domains” (DAMDID/RCDL’2017), Moscow, Russia, October 10–13 (2017)

    Google Scholar 

  5. Elizarov, A., Kirillovich, A., Lipachev, E., Nevzorova, O.: Digital ecosystem OntoMath: mathematical knowledge analytics and management. In: Communications in Computer and Information Science, vol. 706, pp. 33–46. Springer (2017)

    Google Scholar 

  6. Nevzorova, O., Zhiltsov, N., Kirillovich, A., Lipachev, E.: OntoMathPro ontology: a linked data hub for mathematics. In: Communications in Computer and Information Science, 2014, vol. 468, pp. 105–119 (2014)

    Google Scholar 

  7. Elizarov, A., Kirillovich, A., Lipachev, E., Nevzorova, O., Solovyev, V., Zhiltsov, N.: Mathematical knowledge representation: semantic models and formalisms. Lobachevskii J. Math. 35(4), 347–353 (2014)

    Article  MathSciNet  Google Scholar 

  8. Elizarov, A.M., Zhizhchenko A.B., Zhil’tsov, N.G., Kirillovich, A.V., Lipachev, E.K.: Mathematical knowledge ontologies and recommender system for collections of documents in physics and mathematics. Comput. Sci. 93(2), 231–233 (2016)

    Article  MathSciNet  Google Scholar 

  9. Nevzorova, O., Zhiltsov, N., Zaikin, D., Zhibrik, O., Kirillovich, A., Nevzorov, V., Birialtsev, E.: Bringing math to LOD: a semantic publishing platform prototype for scientific collections in mathematics. In: 12th International Semantic Web Conference, Sydney, NSW, Australia, October 21–25, 2013, Proceedings, Part I. Lecture Notes in Computer Science, vol. 8218, pp. 379–394. Springer, Heidelberg (2013)

    Google Scholar 

  10. Nevzorova, O., Zhiltsov, N., Kirillovich, A., Lipachev, E.: OntoMathPRO ontology: a linked data hub for mathematics. In: Knowledge Engineering and the Semantic Web Communications in Computer and Information Science, vol. 468, pp. 105–119 (2014). http://springer.longhoe.net/chapter/10.1007/978-3-319-11716-4_9. ar**v:1407.4833

    MATH  Google Scholar 

  11. Birialtsev, E.V., Elizarov, A.M., Zhiltsov, N.G., Lipachev, E.K., Nevzorova, O.A., Solov’ev, V.D.: Methods for analyzing semantic data of electronic collections in mathematics. Autom. Doc. Math. Linguist. 48(2), 81–85 (2014)

    Article  Google Scholar 

  12. Google Scholar. https://scholar.google.com. Accessed 07 Jan 2018

  13. Microsoft Academic Search. http://academic.research.microsoft.com. Accessed 07 Jan 2018

  14. The Springer LaTeX Search. http://latexsearch.com. Accessed 07 Jan 2018

  15. (Uni)quation. Math expression search engine. http://uniquation.com. Accessed 07 Jan 2018

  16. Misutka, J., Galambos, L.: Extending full text search engine for mathematical content. In: Proceedings of DML, pp. 55–67 (2008)

    Google Scholar 

  17. The Wolfram Functions Site. http://functions.wolfram.com. Accessed 07 Jan 2018

  18. SPARQL Query Language for RDF. http://www.w3.org/TR/rdf-sparql-query. Accessed 07 Jan 2018

  19. Birialtsev, E.V., Galimov, M.R., Gusenkov, A.M., Zhibrik, O.N.: Some approaches to improving the relevance of the search of mathematical expressions in scientific texts (in Russian). In: Proceedings of the Kazan School on computational and cognitive linguistics TEL-2012, pp. 78–92. Tatarstan Academy of Sciences, Fen, Kazan (2012)

    Google Scholar 

  20. Birialtsev, E.V., Gusenkov, A.M., Zhibrik, O.N.: Some approaches to markup of scientific texts containing mathematical expressions (in Russian). Uchenye Zapiski Kazanskogo Universiteta. Seriya Fiziko-Matematicheskie Nauki 156(4), 133–148 (2014)

    Google Scholar 

  21. Birialtsev, E.V., Gusenkov, A.M., Zhibrik, O.N.: Search of mathematical expressions in scientific texts. Experimental evaluation of the relevance (in Russian). In: Proceedings of the Kazan School on computational and cognitive linguistics TEL-2014, pp. 34–37. Tatarstan Academy of Sciences, Fen, Kazan (2014)

    Google Scholar 

  22. Gusenkov, A.M.: Intelligent search of complex objects in large data sets (in Russian). Russ. Digit. Libr. J. 19(1), 3–39 (2016)

    Google Scholar 

  23. Nevzorova, O., Nevzorov, V.: The development support system “OntoIntegrator” for linguistic applications. Inf. Sci. Comput. 3(13), 78–84 (2009)

    Google Scholar 

  24. GATE: general architecture for text engineering. https://gate.ac.uk. Accessed 07 Jan 2018

  25. Elizarov, A., Kirilovich, A., Lipachev, E., Nevzorova, O.: Mathematical knowledge management: ontological models and digital technology. In: CEUR Workshop Proceedings, vol. 1752, pp. 44–50 (2016). http://ceur-ws.org/Vol-1752/paper08.pdf

  26. Finding Concepts in Mathematical Formulas alpha. http://lobachevskii-dml.ru:8890/mathsearch. Accessed 07 Jan 2018

Download references

Acknowledgments

This work was funded by the subsidy allocated to Kazan Federal University for the state assignment in the sphere of scientific activities, grant agreement no. 1.2368.2017.

Author information

Authors and Affiliations

  1. Gradient Ltd, Kazan, Russia

    Eugeny Birialtsev & Olga Zhibrik

  2. Kazan (Volga Region) Federal University, Kazan, Russia

    Eugeny Birialtsev, Alexander Gusenkov, Polina Gusenkova & Yana Palacheva

Authors
  1. Eugeny Birialtsev
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Alexander Gusenkov
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Olga Zhibrik
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Polina Gusenkova
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Yana Palacheva
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Polina Gusenkova .

Editor information

Editors and Affiliations

  1. Departamento de Engenharia Informática, Universidade de Coimbra, Coimbra, Portugal

    Álvaro Rocha

  2. College of Engineering, The Ohio State University, Columbus, OH, USA

    Hojjat Adeli

  3. DSI/EEUM, Universidade do Minho, Guimarães, Portugal

    Luís Paulo Reis

  4. DIMES, Università della Calabria, Arcavacata di Rende, Italy

    Sandra Costanzo

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer International Publishing AG, part of Springer Nature

About this paper

Cite this paper

Birialtsev, E., Gusenkov, A., Zhibrik, O., Gusenkova, P., Palacheva, Y. (2018). Search in Collections of Mathematical Articles. In: Rocha, Á., Adeli, H., Reis, L.P., Costanzo, S. (eds) Trends and Advances in Information Systems and Technologies. WorldCIST'18 2018. Advances in Intelligent Systems and Computing, vol 745. Springer, Cham. https://doi.org/10.1007/978-3-319-77703-0_55

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-77703-0_55

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-77702-3

  • Online ISBN: 978-3-319-77703-0

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation