参考文献
[1]Youssef A.Methods of Relevance Ranking and Hit-content Generation in Math Search[C]//Proceedings of the 6th International Conference on Towards Mechanized Mathematical Assistants.Berlin,Germany:Springer,2007:393-406.
[2]Shatanwi M,Youssef A.Equivalence Detection Using Parse-tree Normalization for Math Search[C]//Proceedings of the 2nd International Conference on Digital Information Management.Washington D.C.,USA:IEEE Press,2007:643-648.
[3]Miner R,Munavalli R.An Approach to Mathematical Search Through Query Formulation and Data Normaliza-tion[C]//Proceedings of the 6th International Conference on Towards Mechanized Mathematical Assistants.Berlin,Germany:Springer,2007:342-355.
[4]MathWebSearch:Searching Math on the Web[EB/OL].[2016-02-04].http://search.mathweb.org.
[5]Kohlhase M,Sucan I.A Search Engine for Mathematical Formulae[C]//Proceedings of International Conference on Artificial Intelligence and Symbolic Computation.Berlin,Germany:Springer,2006:241-253.
[6]Kohlhase M,Sucan I,Jucovschi C,et al.MathWebSearch 0.4,a Semantic Search Engine for Mathematics[EB/OL].(2010-12-22).http://mathweb.org/projects/mws/pubs/mkm08.pdf.
[7]Melis E,Haywood J,Smith T J.Leactivemath[C]//Proceedings of the 1st European Conference on Technology Enhanced Learning.Berlin,Germany:Springer,2006:660-666.
[8]Libbrecht P,Melis E.SemanticSearch in Leactive-math [EB/OL].(2016-02-04).http://www.hoplahup.net/copy_left/Libbrecht-etal-Semantic-Search-WebALT-06.pdf.
[9]Libbrecht P,Melis E.Methods to Access and Retrieve Mathematical Content in Active Math[C]//Proceedings of International Congress on Mathematical Software-ICMS.Berlin,Germany:Springer,2006:331-342.
[10]Egomath[EB/OL].(2016-02-04).http://egomath.projekty.ms.mff.cuni.cz.
[11]Misutka J,Galambos L.Mathematical Extension of Full Text Search Engine Indexer[C]//Proceedings of the 3rd International Conference on Information and Communication Technologies.Washington D.C.,USA:IEEE Press,2008:1-6.
[12]Miutka J,Galambo L.Extending Full Text Search Engine for Mathematical Content[C]//Proceedings of the 3rd Workshop on Digital Mathematics Libraries.Berlin,Germany:Springer,2008:55-67.
[13]Miutka J,Galambo L.System Description:EgoMath2 as a Tool for Mathematical Searching on Wikipedia.org[C]//Proceedings of the 10th International Conference on Intelligent Computer Mathematics.Berlin,Germany:Springer,2011:307-309.
[14]景珂.网络数学搜索中的数学查询语言与索引的研究[D].兰州:兰州大学,2009.
[15]Guo Wei,Su Wei,Li Lian,et al.MQL:A Mathematical Formula Query Language for Mathematical Search[C]// Proceedings of IEEE Conference on Computational Science and Engineering.Washington D.C.,USA:IEEE Press,2011:245-250.
[16]刘志伟.数学搜索引擎研究[D].兰州:兰州大学,2011.
[17]Hu Xuan,Gao Liangcai,Lin Xiaoyan,et al.WikiMirs:A Mathematical Information Retrieval System for Wikipedia[C]//Proceedings of the 13th ACM/IEEE-CS Joint Conference on Digital Libraries.New York,USA:ACM Press,2013:11-20.
[18]Lin Xiaoyan,Gao Liangcai,Hu Xuan,et al.A Mathematics Retrieval System for Formulae in Layout Presenta-tions[C]//Proceedings of the 37th International ACM SIGIR Conference on Research & Development in Information Retrieval.New York,USA:ACM Press,2014:697-706.
[19]Sojka P,Liska M.Indexing and Searching Mathematics in Digital Libraries[C]//Proceedings of the 10th International Conference on Intelligent Computer Mathematics.Berlin,Germany:Springer,2011:228-243.
[20]赵丹群.现代信息检索[M].北京:北京大学出版社,2008.
[21]Torra V.Hesitant Fuzzy Sets[J].International Journal of Intelligent Systems,2010,25(6):529-539.
[22]Kamali S,Tompa F.Structural Similarity Search for Mathematics Retrieval[C]//Proceedings of International Conference on Intelligent Computer Mathematics.New York,USA:ACM Press,2013:246-262.
[23]Zanibbi R,Yuan B.Keyword and Image-based Retrieval of Mathematical Expressions[C]//Proceedings of Conference on Document Recognition and Retrieval XVIII.Berlin,Germany:Springer,2011:993-1004.
[24]Schellenberg T,Yuan B,Zanibbi R.Layout-based Substitution Tree Indexing and Retrieval for Mathematical Expressions[C]//Proceedings of Conference on Document Recognition and Retrieval XIX.Berlin,Germany:Springer,2012:263-271.
[25]Zhang Qun,Youssef A.An Approach to Math-similarity Search[M].Berlin,Germany:Springer,2014.
[26]秦玉平,唐亚伟,伦淑娴,等.一种基于二叉树的数学公式匹配算法[J].计算机科学,2013,40(5):251-252,278.
[27]Xu Zeshui,Xia Meimei.Distant and Similarity Measures for Hesitant Fuzzy Sets[J].Information Sciences,2011,181(11):2128-2138.
[28]Xu Zeshui,Xia Meimei.Hesitant Fuzzy Entropy and Cross-entropy and Their Use in Multi-attribute Decision-making[J].International Journal of Intelligent Systems,2012,27(9):799-822.
[29]陈树伟,蔡丽娜.区间值犹豫模糊集[J].模糊系统与数学,2013,27(6):38-44.
[30]蔡丽娜.区间值犹豫模糊集及其在决策中的应用研究[D]. 郑州:郑州大学,2013.
[31]Tian Xuedong,Yang Songqiang,Li Xinfu.An Indexing Method of Mathematical Expression Retrieval[C]// Proceedings of the 3rd International Conference on Computer Science and Network Technology.Washington D.C.,USA:IEEE Press,2013:574-578.
[32]LaTeX Search[EB/OL].(2016-04-11).http://www.latex search.com.
编辑顾逸斐 |