An Approach to Math-Similarity Search
作者： Qun Zhang , Abdou Youssef
DOI: 10.1007/978-3-319-08434-3_29
关键词:
摘要: The unique structural syntax and the variety of semantic equivalences mathematic expressions make it a challenge for keyword-based text search engine to effectively meet users’ needs. Many existing math solutions focus on exact where notational matching determines relevance rank, while similarity mathematical semantics are often missed out or not addressed adequately. One important research question is how efficiently find that similar user’s query, do ranking hits by similarity. This paper focuses (1) conceptualizing between expressions, (2) defining metrics measure similarity, (3) utilizing those search, (4) evaluating performance validate advantage proposed search. Our results show math-similarity superior
springer.com
sci-hub.st 参考文章(14)
Bruce R. Miller, Abdou Youssef, Technical Aspects of the Digital Library of Mathematical Functions Annals of Mathematics and Artificial Intelligence. ,vol. 38, pp. 121- 136 ,(2003) , 10.1023/A:1022967814992
Paul Libbrecht, Erica Melis, Methods to Access and Retrieve Mathematical Content in ActiveMath Lecture Notes in Computer Science. pp. 331- 342 ,(2006) , 10.1007/11832225_33
Michael Kohlhase, Ioan Sucan, None, A Search Engine for Mathematical Formulae Artificial Intelligence and Symbolic Computation. pp. 241- 253 ,(2006) , 10.1007/11856290_21
Abdou S. Youssef, Methods of Relevance Ranking and Hit-content Generation in Math Search Calculemus '07 / MKM '07 Proceedings of the 14th symposium on Towards Mechanized Mathematical Assistants: 6th International Conference. pp. 393- 406 ,(2007) , 10.1007/978-3-540-73086-6_31
Robert Miner, Rajesh Munavalli, An Approach to Mathematical Search Through Query Formulation and Data Normalization Calculemus '07 / MKM '07 Proceedings of the 14th symposium on Towards Mechanized Mathematical Assistants: 6th International Conference. pp. 342- 355 ,(2007) , 10.1007/978-3-540-73086-6_27
Maricarmen Martinez, Ulf Krumnack, Alan Smaill, Tarek Richard Besold, Ahmed M. H. Abdel-Fattah, Martin Schmidt, Helmar Gust, Kai-Uwe Kühnberger, Markus Guhe, Alison Pease, Algorithmic aspects of theory blending artificial intelligence and symbolic computation. pp. 180- 192 ,(2014) , 10.1007/978-3-319-13770-4_16
Jozef Misutka, Leo Galambos, Mathematical Extension of Full Text Search Engine Indexer international conference on information and communication technologies. pp. 1- 6 ,(2008) , 10.1109/ICTTA.2008.4530006
Klaus D. Hagspiel, Technical Aspects of CTA Journal of Vascular and Interventional Radiology. ,vol. 14, ,(2003) , 10.1016/S1051-0443(03)70187-0
Shahab Kamali, Frank Wm. Tompa, A new mathematics retrieval system Proceedings of the 19th ACM international conference on Information and knowledge management - CIKM '10. pp. 1413- 1416 ,(2010) , 10.1145/1871437.1871635
Petr Sojka, Martin Líaka, The art of mathematics retrieval Proceedings of the 11th ACM symposium on Document engineering - DocEng '11. pp. 57- 60 ,(2011) , 10.1145/2034691.2034703