Skip to main content
SpringerLink
Log in

A matching model of mathematical expressions with FDS based index

  • Original Article
  • Published:
International Journal of Machine Learning and Cybernetics Aims and scope Submit manuscript

Abstract

Mathematical expression retrieval is a key means of searching scientific contents in web and digital libraries. Because mathematical expressions have many different attributes compared with ordinary text, it is necessary to study the special retrieval methods including the indexing and matching model of mathematical expressions. In this paper, on the basis of the introduction of the existing math searching methods and the FDS based index, a mathematical expression matching model was proposed which realized the exact matching of formulas with three query modes called global query mode, local query mode and operational query mode. The algorithms of the query modes were given respectively. A prototype system based on the proposed model was implemented and the comparison experiments were carried out. The experimental results show that the proposed matching model simultaneously realized matching formulas in exact mode and reducing time and space consumption of retrieving to an acceptable degree. It is effective for searching math content in relative digital mathematics library.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6
Fig. 7
Fig. 8
Fig. 9

Similar content being viewed by others

References

  1. DLMF (2014) The Digital Library of Mathematical Functions. http://dlmf.nist.gov. Accessed 8 Oct 2014

  2. Youssef A (2005) Search of mathematical contents: issue and method. In: Proceedings of the ISCA 14th international conference on intelligent and adaptive systems and software engineering (IASSE 2005), Toronto

  3. Miller R, Youssef A (2003) Technical aspects of the Digital Library of Mathematical Functions. Annals of mathematics and artificial intelligence. Springer, Netherlands, pp 121–136

    Google Scholar 

  4. Shatanwi M, Youssef A (2007) Equivalence detection using parse-tree normalization for math search. In: Proceedings of the 2nd international conference on digital information management, Lyon, pp 643–648

  5. Miner R, Munavalli R (2007) An approach to mathematical search through query formulation and data normalization. Towards mechanized mathematical assistants, lecture notes in computer science 4573. pp 342–355

  6. http://search.mathweb.org/. Accessed 8 Oct 2014

  7. Kohlhase M, Sucan I (2006) A search engine for mathematical formulae. Artificial intelligence and symbolic computation, lecture notes in computer science 4120. pp 241–253

  8. Kohlhase M, Sucan I, Jucovschi C et al (2008) MathWebSearch 0.4, a semantic search engine for mathematics. Manuscript at http://mathweb.org/projects/mws/pubs/mkm08.pdf. Accessed 8 Oct 2014

  9. Leactivemath (2014) The ActiveMath project. http://www.leactivemath.org. Accessed 8 Oct 2014

  10. Libbrecht P, Melis E (2006) Semantic search in leactivemath. In: WebALT 2006 Proceedings. p 97

  11. Paul L, and Erica M (2006) Methods to access and retrieve mathematical content in ActiveMath. Mathematical software-ICMS 2006, lecture notes in computer science 4151. pp 331–342

  12. http://egomath.projekty.ms.mff.cuni.cz. Accessed 8 Oct 2014

  13. Misutka J, Galambos L (2008) Mathematical extension of full text search engine indexer. In: Proceedings of the 3rd international conference on information and communication technologies. Damascus, pp 1–6

  14. Mišutka J, Galamboš L (2008) Extending full text search engine for mathematical content. Towards digital mathematics library, Birmingham, pp 55–67

    Google Scholar 

  15. System description: EgoMath2 as a tool for mathematical searching on Wikipedia.org. Intelligent computer mathematics, lecture notes in computer science 6824. pp 307–309

  16. Jing K (2009) Research on math query language and index in web-based math search. M. S. Thesis, in Chinese, Lanzhou University, Lanzhou

  17. Guo W, Su W, Li L, et al (2011) MQL: a mathematical formula query language for mathematical search. In: Proceeding of 2011 IEEE 14th international conference on computational science and engineering (CSE2011). Dalian, pp 245–250

  18. Liu ZW (2011) The research on mathematics search. M. S. Thesis, in Chinese, Lanzhou University, Lanzhou

  19. Hu X, Gao L, Lin X et al (2013) WikiMirs: a mathematical information retrieval system for Wikipedia. In: Proceedings of the 13th ACM/IEEE-CS joint conference on digital libraries. ACM, pp 11–20

  20. Lin XY, Gao LC, Hu X, Tang Z, Xiao YN, Liu XZ (2014) A mathematics retrieval system for formulae in layout presentations. In: Proceedings of the 37th international ACM SIGIR conference on research & development in information retrieval (SIGIR ‘14). ACM, pp 697–706

  21. Kamali, S, Tompa, FW (2013) Structural similarity search for mathematics retrieval. Intelligent computer mathematics, lecture notes in computer science 7961. pp 246–262

  22. Tian XD, Yang SQ, Li XF et al (2013) An indexing method of mathematical expression retrieval [C]. In: Proceedings of the 2013 3rd international conference on computer science and network technology, pp 574–578

  23. Zhao DQ (2008) Modern information retrieval: its theory, technology and method. Peking University Press, Beijing In Chinese

    Google Scholar 

  24. Sojka P, Líška M (2011) Indexing and searching mathematics in digital libraries., Intelligent computer mathematicsSpringer, Berlin, pp 228–243

    Google Scholar 

Download references

Acknowledgements

This work is supported by National Natural Science Foundation of China (Grant No. 61375075) and Natural Science Foundation of Hebei Province (Grant No. F2012201020).

Author information

Authors and Affiliations

  1. School of Computer Science and Technology, Hebei University, Qiyi East Road, No. 2666, Baoding, China

    Song-qiang Yang, Xue-dong Tian, Bo-tao Yu, Fang Yang & Nan Zhou

  2. Hebei key laboratory of Machine Learning and Computational Intelligence, Wusi East Road, No. 180, Baoding, China

    Song-qiang Yang, Xue-dong Tian, Bo-tao Yu, Fang Yang & Nan Zhou

Authors
  1. Song-qiang Yang
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Xue-dong Tian
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Bo-tao Yu
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Fang Yang
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Nan Zhou
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Xue-dong Tian.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Yang, Sq., Tian, Xd., Yu, Bt. et al. A matching model of mathematical expressions with FDS based index. Int. J. Mach. Learn. & Cyber. 6, 993–1004 (2015). https://doi.org/10.1007/s13042-015-0404-z

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s13042-015-0404-z

Keywords

Search

Navigation