×

兹马思-数学第一资源

数学知识检索综述。(英语) Zbl 1409.68085
摘要:本文综述了数学知识标引与检索的文献,指出了77篇论文,并对检索问题和重现技术进行了初步分类。

理学硕士:
68页20页 信息存储与数据检索
68T30型 知识表示
PDF格式 BibTeX公司 XML 引用
全文: 内政部
参考文献:
[1] 阿德尔,M;张欣;希亚尔,嘘,数学开始!一个基于内容的数学公式搜索引擎的原型。申请。《信息技术》,41002-1012,(2008年)
[2] Ahmadi,S.A.,Youssef,A.:手写数学信息检索中的词汇错误补偿。在:DML 2008。数字数学图书馆,英国伯明翰,2008年7月27日。会议记录,第43-54页。布尔诺马萨里克大学(2008)·Zbl 1170.68480
[3] Aizawa,A.,Kohlhase,M.,Ounis,I.:NTCIR-10数学试点任务概述。摘自:《第十届NTCIR会议记录》,东京,第654-661页(2013年)
[4] Aizawa,A.,Kohlhase,M.,Ounis,I.:NTCIR-11数学2任务概述。在:过程。第十届NTCIR会议(日本东京),第88-98页(2014年)
[5] math.M.M.更便于搜索。In:Proc极限标记语言(2007)
[6] Altami,M.E.,Youssef,A.S.:数学搜索中的通配符,实现问题。在:ISCA第20届工业和工程计算机应用国际会议论文集,凯恩,2007年11月7日至9日,旧金山,第90-96页(2007年)
[7] 阿尔塔米,我;Youssef,AS,一种带有扩展通配符集的数学查询语言math。计算机。科学,2305-331,(2008年)·Zbl 1176.68053
[8] Asperti,A.,Guidi,F.,Coen,C.S.,Tassi,E.,Zacchiroli,S.:一个基于内容的数学搜索引擎:Whelp。校样和程序类型,第17-32页。斯普林格(2006)·Zbl 1172.68623
[9] Asperti,A.,Selmi,M.:数学语句的有效检索。在:数学知识管理,第三届国际会议,MKM 2004,Bialowieza,2004年9月19-21日,会议记录,第17-31页(2004年)·Zbl 1108.68582
[10] Asperti,A.,Zacchiroli,S.:web上的数学搜索:技术现状和未来发展。作者:菲兹,编辑,《数学电子出版的新发展》,第9-18页(2004年)·Zbl 1137.00307号文件
[11] Bancerek,G.:基于MML查询的信息检索与呈现。数学知识管理,第266-279页。斯普林格(2006)·Zbl 1188.68125号
[12] Bancerek,G.,Rudnicki,P.:MML中的信息检索。数学知识管理,第二届国际会议,MKM 2003,Bertinoro,2003年2月16-18日,会议记录,第119-132页(2003年)·Zbl 1022.68610
[13] Bancerek,G.,Urban,J.:mizar数学库的集成语义浏览,用于创作mizar文章。在:数学知识管理,第三届国际会议,MKM 2004,Bialowieza,2004年9月19-21日,会议记录,第44-57页(2004年)·Zbl 1108.68583
[14] 鲍姆加特纳,P;Furbach,U.个性化文档管理的自动推理技术,数学与人工智能年鉴,38211-228,(2003)·Zbl 1023.68083
[15] 凯恩斯,P.A.:形式数学的信息化:用潜在语义搜索mizar库。在:数学知识管理,第三届国际会议,MKM 2004,Bialowieza,2004年9月19-21日,会议记录,第58-72页(2004年)·Zbl 1108.68584
[16] Caprotti,O.,Dewar,M.,Turi,D.:使用描述逻辑和OWL的数学服务匹配。在:数学知识管理,第三届国际会议,MKM 2004,Bialowieza,2004年9月19-21日,会议记录,第73-87页(2004年)·Zbl 1108.68585
[17] Delahaye,D.:使用类型同构在Coq证明库中进行信息检索。校样和程序类型,第131-147页。斯普林格(2000)·Zbl 0988.68542
[18] Formánek,D.,Líka,M.,Růička,M.,Sojka,P.:数字数学图书馆内容的规范化。在:Davenport,J.,Jeuri,J.,Lange,C.,Libbrecht,P.(编辑),《第24届OpenMath研讨会联合论文集》,第7届数学用户界面研讨会(MathUI)和智能计算机数学会议正在进行的工作部分,第921期《CEUR研讨会论文集》,第91-103页,亚琛(2012)·Zbl 1178.68218
[19] Gao,L.,Wang,Y.,Hao,L.,Tang,Z.:用于NTCIR-11 math-2任务的ICST数学检索系统。在:过程。第十届NTCIR会议(日本东京),第99-102页(2014年)
[20] Gauthier,T.,Kaliszyk,C.:跨HOL库匹配概念。参加:智能计算机数学国际会议,CICM 2014,科英布拉,2014年7月7日至11日。会议记录,第267-281页(2014年)·Zbl 1304.68154
[21] González Pinto,J.M.,Barthel,S.,Balke,W.-T.:NTCIR-11数学2任务的质量测试:试图查询数学集合。在:过程。第十届NTCIR会议(日本东京),第103-107页(2014年)
[22] Guidi,F.,Coen,C.S.:数学知识检索综述。在:Kerber,M.,Carette,J.,Kaliszyk,C.,Rabe,F.,Sorge,V.,(编辑)智能计算机数学国际会议,CICM 2015,华盛顿特区,美国,2015年7月13日至17日,《计算机科学课程讲义》,第9150卷,第296-315页。斯普林格(2015)
[23] Guidi,F.,Schena,I.:数学资源元数据框架的查询语言。在:数学知识管理,第二届国际会议,MKM 2003,Bertinoro,2003年2月16-18日,会议记录,第105-118页(2003年)·Zbl 1022.68616
[24] Hagino,H.,Saito,H.:在NTCIR-10数学任务中使用结构反射索引进行部分匹配检索。在:过程。第十届NTCIR会议(日本东京),第692-695页(2013年)
[25] Hambasan,R.,Kohlhase,M.,Prodescu,C.:NTCIR-11的MathWebSearch。在:过程。第十届NTCIR会议(日本东京),第114-119页(2014年)
[26] Haralambous,Y.,Quaresma,P.:使用受控语言、本体论图和依赖格查询几何图形。在:智能计算机数学国际会议,CICM 2014,科英布拉,葡萄牙,2014年7月7日至11日。会议记录,第298-311页(2014年)·Zbl 1304.68170号
[27] Hashimoto,H.,Hijikata,Y.,Nishida,S.:合并宽度优先搜索来索引MathML对象。在:系统,人和控制论,2008年。2008年SMC。IEEE国际会议,第3519-3523页(2008年)
[28] Kamali,S.,Tompa,F.W.:改进数学检索。在:DML 2009。走向数字数学图书馆,大本德,安大略省,加拿大,2009年7月8日至9日。第37-48页。布尔诺马萨里克大学(2009年)·Zbl 1176.68070
[29] Kamali,S.,Tompa,F.W.:一个新的数学检索系统。第19届ACM国际信息与知识管理会议论文集。CIKM'10,第1413-1416页。ACM,纽约(2010)
[30] Kamali,S.,Tompa,F.W.:数学检索中的结构相似性搜索。在:智能计算机数学MKM,calculemus,DML,以及2013年系统和项目,作为2013年CICM的一部分举行,巴斯,2013年7月8日至12日。会议记录,第246-262页(2013年)·兹布1390.68258
[31] Kohlhase,A:为数学家搜索接口。参加:智能计算机数学国际会议,CICM 2014,科英布拉,2014年7月7日至11日。会议记录,第153-168页(2014年)·Zbl 1304.68198
[32] Kohlhase,A.,Kohlhase,M.:重新审视MKM的价值主张:从数学网络搜索到数学网络搜索。In:走向机械化数学助手,第14届研讨会,2007年计算,第6届国际会议,MKM 2007,哈根伯格,2007年6月27日至30日,论文集,第313-326页(2007年)·Zbl 1202.68467
[33] Kohlhase,M.,Prodescu,C.:NTCIR-10的MathWebSearch。在:过程。第十届NTCIR会议(日本东京),第675-679页(2013年)
[34] Kristianto,G.Y.,Topić,G.,Ho,F.,Aizawa,A.:NTCIR-11数学轨道MCAT数学检索系统。在:过程。第11届NTCIR会议(日本东京),第120-126页(2014年)
[35] Larson,R.R.,Reynolds,C.J.,Gey,F.C.:数学搜索关键词IR的惨败:NTCIR-10数学的伯克利。在:过程。第十届NTCIR会议(日本东京),第662-666页(2013年)
[36] 利伯雷希特:摆脱过于精确的主题查询的陷阱。在:智能计算机数学MKM,calculemus,DML,以及2013年系统和项目,作为2013年CICM的一部分举行,巴斯,2013年7月8日至12日。会议记录,第296-309页(2013年)·Zbl 1390.68749
[37] Libbrecht,P.,Desmoulins,C.,Mercat,C.,Laborde,C.,Dietrich,M.,Hendriks,M.:intergeo跨课程搜索。在:智能计算机数学,第9届国际会议,AISC 2008,第15届研讨会,Calculemus 2008,第7届国际会议,MKM 2008,伯明翰,2008年7月28日至8月1日。会议记录,第520-535页(2008年)·Zbl 1166.68367号
[38] Libbrecht,P.,Melis,E.:在activemath中访问和检索数学内容的方法。在:数学软件ICMS 2006,第331-342页。斯普林格(2006)·Zbl 1283.68319号
[39] Lipani,A.,Anderson,L.,Piroi,F.,Lupu,M.,Hanbury,A.:NTCIR-11数学-2的TUW-IMP。在:过程。第11届NTCIR会议(日本东京),第143-146页(2014年)
[40] Líka,M.:搜索数学文本。布尔诺信息学学院马萨利克大学学士学位论文(2010年)
[41] Líka,M.:数学检索评价。马斯利克大学信息学系硕士论文,布尔诺(2013)·Zbl 1176.68053
[42] Líka,M.,Sojka,P.,Líka,M.,Mravec,P.:用于数学检索的Web接口和集合:WebMIaS和MREC。2011年DML。走向数字数学图书馆,Bertinoro,2011年7月20-21日。会议记录,第77-84页。布尔诺马萨里克大学(2011年)
[43] Líka,M.,Sojka,P.,Růička,M.:数学的相似性搜索:马萨利克大学NTCIR-10数学任务小组。在:过程。第十届NTCIR会议(日本东京),第686-691页(2013年)
[44] Líka,M.,Sojka,P.,Růička,M.:满足数学家信息需求的数学索引器和搜索器web界面。在:智能计算机数学国际会议,CICM 2014,科英布拉,葡萄牙,2014年7月7日至11日。会议记录,第444-448页(2014年)·Zbl 1304.68199
[45] Líka,M.,Sojka,P.:Růička,M.:在数学信息检索中结合文本和公式查询:查询结果合并策略的评估。第一届网络搜索新界面与系统国际研讨会论文集。NWSearch'15,第7-9页。纽约ACM(2015)
[46] Miller,B.R.:三年的DLMF:网络、数学和搜索。在:智能计算机数学MKM,Calculemus,DML,以及2013年系统和项目,作为2013年CICM的一部分举行,巴斯,2013年7月8日至12日。会议记录,第288-295页(2013年)
[47] 米勒,BR;Youssef,A,数学函数数字图书馆的技术方面,Ann。数学。人工制品。国际期刊,38121-136,(2003)·Zbl 1019.65002
[48] Miller,B.R.,Youssef,A.:用于搜索的增强演示MathML。在:智能计算机数学,第9届国际会议,AISC 2008,第15届研讨会,calculemus 2008,第7届国际会议,MKM 2008,伯明翰,2008年7月28日至8月1日。会议记录,第536-542页(2008年)·Zbl 1166.68315
[49] Miner,R.,Munavalli,R.:通过查询公式和数据规范化实现数学搜索的方法。In:走向机械化数学助手,第14届研讨会,2007年加尔各谟,第6届国际会议,MKM 2007,哈根伯格,2007年6月27日至30日,会议记录,第342-355页(2007年)·Zbl 1202.68130
[50] Misutka,J.,Galambos,L.:全文搜索引擎索引器的数学扩展。信息技术与应用:从2008年到2008年。2008年ICTTA。第三届国际会议,第1-6页(2008年)
[51] Mišutka,J.,Galamboš,L.:扩展数学内容的全文搜索引擎。在:DML 2008。数字数学图书馆,伯明翰,2008年7月27日。会议记录,第55-67页。布尔诺马萨里克大学(2008)
[52] Munavalli,R.,Miner,R.:Mathfind:一个数学意识强的搜索引擎。第29届国际ACM-SIGIR信息检索研究与发展年会论文集,第735-735页。ACM(2006)
[53] Nghiem,M.-Q.,Kristianto,G.Y.,Topić,G.,Aizawa,A.:哪一个更好:基于表现的还是基于内容的数学搜索?参加:智能计算机数学国际会议,CICM 2014,科英布拉,2014年7月7日至11日。会议记录,第200-212页(2014年)·Zbl 1304.68039号
[54] Nguyen,T.T.,Chang,K.,Hui,S.C.:数学问答系统的数学意识搜索引擎。第21届ACM国际信息与知识管理会议论文集,第724-733页。ACM(2012年)
[55] Norman,I.,Kohlhase,M.:扩展公式规范化ε-数学知识的检索与共享。在:走向机械化数学助手,第14届研讨会,2007年计算,第6届国际会议,MKM 2007,哈根伯格,2007年6月27日至30日,会议记录,第356-370页(2007年)·Zbl 1202.68157
[56] Pattaniyil,N.,Zanibbi,R.:结合TF-IDF文本检索和数学表达式中符号对的反向索引:NTCIR 2014年切线数学搜索引擎。在:过程。第11届NTCIR会议(日本东京),第135-142页(2014年)
[57] Rabe,F.:正式数学库的查询语言。在:智能计算机数学第11届国际会议,AISC 2012,第19届研讨会,Calculemus 2012,第5届国际研讨会,DML 2012,第11届国际会议,MKM 2012,系统与项目,作为2012年CICM的一部分,于2012年7月8日至13日在不来梅举行。会议记录,第143-158页(2012年)
[58] Růïička,M.,Sojka,P.,Lška,M.:数学索引器和引擎盖下的搜索者:获胜策略的历史和发展。在:过程。第11届NTCIR会议(日本东京),第127-134页(2014年)
[59] 舍内伯格,U.,斯珀伯,W.:词性标注及其在数学文本分析中的应用。在:智能计算机数学国际会议,CICM 2014,Coimbral,2014年7月7日至11日。会议记录,第213-223页(2014年)·Zbl 1304.68180号
[60] Schubotz,M.,Leich,M.,Markl,V.:查询大量数学出版物:NTCIR10数学任务。在:过程。第十届NTCIR会议(日本东京),第667-674页(2013年)
[61] Schubotz,M.,Youssef,A.,Markl,V.,Cohl,H.S.,Li,J.J.:基于NTCIR-11数学任务的公式相似性度量因子评估。在:过程。第10届NTCIR会议(日本东京),第108-113页(2014年)
[62] Shatnawi,M.,Youssef,A.:数学搜索中使用解析树规范化的等价性检测。在:第二届IEEE国际数字信息管理会议(ICDIM)。2007年12月11日至13日,第643-648页。里昂,诉讼(2007年)
[63] Sojka,P.,Líka,M.:数学检索的艺术。第11届ACM文件工程研讨会论文集,第57-60页。ACM(2011年)
[64] Topić,G.,Kristianto,G.Y.,Nghiem,M.-Q.,Aizawa,A.:NTCIR-10数学轨道的MCAT数学检索系统。在:过程。第十届NTCIR会议(日本东京),第680-685页(2013年)
〔65〕 Wolska,M.,Grigore,M.:数学写作中的符号声明。在:DML 2010。走向数字数学图书馆,巴黎,2010年7月7日至8日。会议记录,第119-127页。布尔诺马萨里克大学(2010年)
[66] Yokoi,K.,Aizawa,A.:使用MathML进行数学表达式相似性搜索的方法。在:DML 2009。走向数字数学图书馆,大本德,安大略省,加拿大,2009年7月8日至9日。会议记录,第27-35页。布尔诺:马萨里克大学(2009年)·Zbl 1176.68074
[67] Youssef,A.:数学内容搜索:问题和方法。ISCA第14届智能自适应系统与软件工程国际会议论文集。2005年7月20日至22日,第100-105页。多伦多诺富特多伦多中心(2005)
[68] Youssef,A.:数学搜索在数学中的作用。在:数学知识管理,第五届国际会议,MKM 2006,Wokingham,2006年8月11-12日,会议记录,第2-16页(2006年)·Zbl 1188.68128号
〔69〕 Youssef,A.:数学搜索中的关联排序和命中内容生成方法。In:走向机械化数学助手,第14届研讨会,2007年加尔各谟,第6届国际会议,MKM 2007,哈根伯格,2007年6月27日至30日,会议记录,第393-406页(2007年)·Zbl 1202.68161
[70] Youssef,A.,Shatnawi,M.:使用解析树规范化的等价检测的数学搜索。第四届国际计算机科学与信息技术会议(2006)
[71] Youssef,AS,数学搜索中的相关性排名和命中描述,数学。计算机。科学,233-353,(2008年)·Zbl 1178.68218
[72] Youssef,A.S.,altami,M.E.:一种广泛的数学查询语言。在:第16届国际软件工程和数据工程会议(SEDE-2007)。2007年7月11日,第63-9页。拉斯维加斯皇宫酒店,拉斯维加斯,会议记录(2007)
[73] 扎尼比,右;布鲁斯坦,D,数学表达式的识别和检索,国际法学博士。肛门。承认。(IJDAR),第15331-357页,(2012年)
[74] Zanibbi,R.,Orakwue,A.:大众的数学搜索:多模式搜索界面和基于外观的检索。在:Kerber,M.,Carette,J.,Kaliszyk,C.,Rabe,F.,Sorge,V.,(编辑),《智能计算机数学国际会议》,2015年CICM,华盛顿特区,2015年7月13日至17日,《计算机科学讲座笔记》,第9150卷,第18-36页。斯普林格(2015)·Zbl 1417.68274号
[75] 张Q,Youssef,A:一种数学相似性搜索方法。参加:智能计算机数学国际会议,CICM 2014,科英布拉,2014年7月7日至11日。会议记录,第404-418页(2014年)·Zbl 1304.68040
[76] 张Q,Youssef,A.:数学相似性搜索的性能评价与优化。在:Kerber,M.,Carette,J.,Kaliszyk,C.,Rabe,F.,Sorge,V.,(编辑)智能计算机数学国际会议,CICM 2015,华盛顿特区,2015年7月13日至17日,《计算机科学课程讲义》,第9150卷,第243-257页。斯普林格(2015)
[77] 赵杰,菅明美,腾英:数学信息检索:用户需求和原型实现。第八届ACM/IEEE-CS数字图书馆联席会议论文集,第187-196页。ACM(2008年)
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。