A matching model of mathematical expressions with FDS based index

被引:2
作者
Yang, Song-qiang [1 ,2 ]
Tian, Xue-dong [1 ,2 ]
Yu, Bo-tao [1 ,2 ]
Yang, Fang [1 ,2 ]
Zhou, Nan [1 ,2 ]
机构
[1] Hebei Univ, Sch Comp Sci & Technol, Baoding, Peoples R China
[2] Hebei Key Lab Machine Learning & Computat Intelli, Baoding, Peoples R China
基金
中国国家自然科学基金;
关键词
Mathematical expression retrieval; FDS based index; Matching model; Global query; Local query; Operational query; Exact matching; SEARCH;
D O I
10.1007/s13042-015-0404-z
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
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.
引用
收藏
页码:993 / 1004
页数:12
相关论文
共 19 条
  • [1] Hu X, 2013, ACM-IEEE J CONF DIG, P11
  • [2] Jing K, 2009, THESIS LANZHOU U LAN
  • [3] Kamali Shahab, 2013, Intelligent Computer Mathematics. MKM, Calculemus, DML, and Systems and Projects 2013 Held as Part of CICM 2013. Proceedings. LNCS 7961, P246, DOI 10.1007/978-3-642-39320-4_16
  • [4] KOHLHASE M, 2008, MATHWEBSEARCH UNPUB
  • [5] Kohlhase M, 2006, LECT NOTES ARTIF INT, V4120, P241
  • [6] Libbrecht P., 2006, WEBALT 2006 P, P97
  • [7] A Mathematics Retrieval System for Formulae in Layout Presentations
    Lin, Xiaoyan
    Gao, Liangcai
    Hu, Xuan
    Tang, Zhi
    Xiao, Yingnan
    Liu, Xiaozhong
    [J]. SIGIR'14: PROCEEDINGS OF THE 37TH INTERNATIONAL ACM SIGIR CONFERENCE ON RESEARCH AND DEVELOPMENT IN INFORMATION RETRIEVAL, 2014, : 697 - 706
  • [8] Liu ZW, 2011, THESIS LANZHOU U LAN
  • [9] Technical aspects of the Digital Library of Mathematical Functions
    Miller, BR
    Youssef, A
    [J]. ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2003, 38 (1-3) : 121 - 136
  • [10] Miner R, 2007, LECT NOTES ARTIF INT, V4573, P342