×
费卢西奥·圭迪;克劳迪奥·萨塞尔多蒂·科恩

数学知识检索综述。 （英语） Zbl 1409.68085号

数学。计算。科学。 10，第4号，409-427（2016）.
摘要：我们对有关数学知识索引和检索的文献进行了调查，并指出了77篇论文以及检索问题和重现技术的初步分类。

引用于1文件

MSC公司：

68第20页 信息存储和数据检索
68立方英尺 知识表示

软件：

幼崽;网络MIaS;数学查找;米扎尔;MML公司;质量管理团队;DLMF公司;Coq公司;数学Web搜索
PDF格式BibTeX公司 XML格式引用
\textit{F.Guidi}和\textit{C.Sacerdoti Coen}，数学。计算。科学。10，第4号，409--427（2016；Zbl 1409.68085）
全文： 内政部 arXiv公司

参考文献：

[1] Adeel，M.，Cheung，H.S.，Khiyal，S.H.：数学GO！基于内容的数学公式搜索引擎的原型。J.西奥。申请。技术信息。4(10), 1002-1012 (2008)
[2] Ahmadi，S.A.，Youssef，A.：基于手写体的数学信息检索中的词汇错误补偿。In:DML 2008。走向数字数学图书馆，英国伯明翰，2008年7月27日。会议记录，第43-54页。布尔诺Masaryk大学（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任务概述。In：程序。第十届NTCIR会议（日本东京），第88-98页（2014年）
[5] Altamimi，M.E.，Youssef，A.：促进数学搜索的更规范形式的内容MathML。In：Proc极限标记语言（2007）
[6] Altamimi，M.E.，Youssef，A.S.：数学搜索中的通配符，实现问题。摘自：ISCA第20届工业和工程计算机应用国际会议论文集，CAINE 2007年11月7日至9日，旧金山，第90-96页（2007）
[7] Altamimi，M.E.，Youssef，A.S.：一种具有扩展通配符集的数学查询语言。数学。计算。科学。2(2), 305-331 (2008) ·Zbl 1176.68053号 ·doi:10.1007/s11786-008-0056-4
[8] Asperti，A.、Guidi，F.、Coen，C.S.、Tassi，E.、Zacchiroli，S.：基于内容的数学搜索引擎：Whelp。摘自：校样和程序类型，第17-32页。斯普林格（2006）·Zbl 1172.68623号
[9] Asperti，A.，Selmi，M.：高效检索数学语句。In:数学知识管理，第三届国际会议，MKM 2004，Bialowieza，2004年9月19日至21日，会议记录，第17-31页（2004）·Zbl 1108.68582号
[10] Asperti，A.，Zacchiroli，S.：在网上搜索数学：最新技术和未来发展。收录：FIZ，编辑，《数学电子出版新发展学报》，第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数学库的集成语义浏览。In:数学知识管理，第三届国际会议，MKM 2004，Bialowieza，2004年9月19日至21日，会议记录，第44-57页（2004）·Zbl 1108.68583号
[14] Baumgartner，P.，Furbach，U.：用于管理个性化文档的自动推导技术。《数学与人工智能年鉴》38（1-3），211-228（2003）·兹比尔1023.68083 ·doi:10.1023/A:1022976016809
[15] Cairns，P.A.：形式数学信息化：用潜在语义搜索mizar库。In:数学知识管理，第三届国际会议，MKM 2004，Bialowieza，2004年9月19日至21日，会议记录，第58-72页（2004）·Zbl 1108.68584号
[16] Caprotti，O.，Dewar，M.，Turi，D.：使用描述逻辑和OWL的数学服务匹配。In:数学知识管理，第三届国际会议，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ůzička，M，Sojka，P.：数字数学图书馆内容的规范化。收录于：Davenport，J.、Jeuring，J.，Lange，C.、Libbrecht，P.（eds.）《第24届OpenMath研讨会联合会议记录》、第7届数学用户界面研讨会（MathUI）和智能计算机数学会议的工作进展部分，CEUR研讨会记录第921号，第91-103页，亚琛（2012）·Zbl 1178.68218号
[19] Gao，L.，Wang，Y.，Hao，L..，Tang，Z.：NTCIR-11数学-2任务的ICST数学检索系统。In：程序。第十届NTCIR会议（日本东京），第99-102页（2014年）
[20] Gauthier，T.，Kaliszyk，C.：跨HOL库的匹配概念。In:智能计算机数学国际会议，2014年7月7日至11日，Coimbra，CICM 2014。会议记录，第267-281页（2014年）·Zbl 1304.68154号
[21] González Pinto，J.M.，Barthel，S.，Balke，W.-T.：NTCIR-11数学2任务的QUALIBETA：试图查询数学集合。In：程序。第十届NTCIR会议（日本东京），第103-107页（2014年）
[22] Guidi，F.，Coen，C.S.：关于数学知识检索的调查。作者：Kerber，M.，Carette，J.，Kaliszyk，C.，Rabe，F.，Sorge，V.，（eds.）智能计算机数学国际会议，CICM 2015，华盛顿特区，美国，2015年7月13-17日，计算机科学论文集，讲稿，第9150卷，第296-315页。斯普林格（2015）·Zbl 1417.68038号
[23] Guidi，F.，Schena，I.：关于数学资源的元数据框架的查询语言。收录于：数学知识管理，第二届国际会议，MKM 2003，Bertinoro，2003年2月16-18日，会议记录，pp.105-118（2003）·Zbl 1022.68616号
[24] Hagino，H.，Saito，H.:在NTCIR-10数学任务中使用结构反射索引进行部分匹配检索。In：程序。第十届NTCIR会议（日本东京），第692-695页（2013年）
[25] Hambasan，R.、Kohlhase，M.、Prodescu，C.：NTCIR-11的数学网络搜索。In：程序。第十届NTCIR会议（日本东京），第114-119页（2014年）
[26] Haralambous，Y.，Quaresma，P.：使用受控语言、本体论图和依赖格查询几何图形。参加：智能计算机数学国际会议，2014年7月7日至11日，葡萄牙科英布拉，CICM 2014。会议记录，第298-311页（2014年）·兹比尔1304.68170
[27] Hashimoto，H.，Hijikata，Y.，Nishida，S.：合并宽度优先搜索以索引MathML对象。收录于：《系统、人与控制论》，2008年。SMC 2008。IEEE国际会议，第3519-3523页（2008）
[28] Kamali，S.，Tompa，F.W.：改进数学检索。In:DML 2009。迈向数字数学图书馆，加拿大安大略省格兰德本德，2009年7月8日至9日。会议记录，第37-48页。布尔诺Masaryk大学（2009年）·Zbl 1176.68070号
[29] Kamali，S.，Tompa，F.W.：一种新的数学检索系统。摘自：第19届ACM信息和知识管理国际会议记录。CIKM’10，第1413-1416页。ACM，纽约（2010年）
[30] Kamali，S.，Tompa，F.W.：数学检索的结构相似性搜索。In：智能计算机数学-MKM、calculemus、DML以及系统和项目2013，作为CICM 2013的一部分举行，Bath，2013年7月8日至12日。会议记录，第246-262页（2013年）·Zbl 1390.68258号
[31] 科尔哈斯：为数学家搜索界面。In:智能计算机数学国际会议，2014年7月7日至11日，Coimbra，CICM 2014。会议记录，第153-168页（2014年）·Zbl 1304.68198号
[32] Kohlhase，A.，Kohlhace，M.：重新审视MKM价值主张：从数学网络搜索到数学网络搜索。摘自：《走向机械化数学助理》，第14届研讨会，2007年Calculemus，第6届国际会议，2007年MKM，2007年6月27日至30日，Hagenberg，会议记录，第313-326页（2007）·Zbl 1202.68467号
[33] Kohlhase，M.，Prodescu，C.：NTCIR-10的数学网络搜索。In：程序。第十届NTCIR会议（日本东京），第675-679页（2013年）
[34] Kristianto，G.Y.，Topić，G.，Ho，F.，Aizawa，A.：NTCIR-11数学轨道的MCAT数学检索系统。In：程序。第11届NTCIR会议（日本东京），第120-126页（2014年）
[35] Larson，R.R.，Reynolds，C.J.，Gey，F.C.：数学搜索关键词IR的严重失败：NTCIR-10数学的伯克利。In：程序。第十届NTCIR会议（日本东京），第662-666页（2013年）
[36] Libbrecht，P.：摆脱过于精确的主题查询的陷阱。In：智能计算机数学-MKM、calculemus、DML以及系统和项目2013，作为CICM 2013的一部分举行，Bath，2013年7月8日至12日。会议记录，第296-309页（2013年）·兹比尔1390.68749
[37] Libbrecht，P.、Desmoulins，C.、Mercat，C.，Laborde，C.、Dietrich，M.、Hendriks，M.：跨学科跨地域搜索。参加：智能计算机数学，第九届国际会议，AISC 2008，第十五届研讨会，Calculemus 2008，第七届国际会议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.，Andersson，L.，Piroi，F.，Lupu，M.，Hanbury，A.：NTCIR-11数学-2的TUW-IMP。In：程序。第11届NTCIR会议（日本东京），第143-146页（2014年）
[40] Líska，M.：搜索数学文本。马沙利克大学信息学院学士论文（2010年）
[41] Líska，M.：数学检索的评价。马沙利克大学信息学院硕士论文，布尔诺（2013）·Zbl 1176.68053号
[42] Líška，M.、Sojka，P.、Líöska，M.和Mravec，P.：数学检索的Web界面和集合：WebMIaS和MREC。收件人：DML 2011。走向数字数学图书馆，贝尔蒂诺罗，2011年7月20日至21日。会议记录，第77-84页。布尔诺Masaryk大学（2011年）
[43] Líška，M.，Sojka，P.，Růíička，M：数学相似性搜索：NTCIR-10数学任务中的Masaryk大学团队。In：程序。第十届NTCIR会议（日本东京），第686-691页（2013年）
[44] Líška，M.，Sojka，P.，Růzička，M：数学索引器和搜索器网络界面，以满足数学家的信息需求。参加：智能计算机数学国际会议，2014年7月7日至11日，葡萄牙科英布拉，CICM 2014。会议记录，第444-448页（2014年）·Zbl 1304.68199号
[45] Líška，M.，Sojka，P.：Růíička，M：在数学信息检索中结合文本和公式查询：查询结果合并策略的评估。收录：关于新型网络搜索界面和系统的第一次国际研讨会会议记录。NWSearch’15，第7-9页。ACM，纽约（2015）
[46] 米勒，B.R.：DLMF的三年：网络、数学和搜索。In：智能计算机数学-MKM、Calculemus、DML以及2013年系统和项目，作为CICM 2013的一部分举行，Bath，2013年7月8日至12日。会议记录，第288-295页（2013年）·Zbl 1390.68750号
[47] Miller，B.R.，Youssef，A.：数学函数数字库的技术方面。安。数学。Artif公司。智力。38(1-3), 121-136 (2003) ·Zbl 1019.65002号 ·doi:10.1023/A:1022967814992
[48] Miller，B.R.，Youssef，A.：用于搜索的增强演示MathML。在：智能计算机数学，第九届国际会议，AISC 2008，第十五届研讨会，calculemus 2008，第七届国际会议MKM 2008，伯明翰，2008年7月28日至8月1日。会议记录，第536-542页（2008年）·兹比尔1166.68315
[49] Miner，R.，Munavalli，R.：通过查询公式和数据规范化进行数学搜索的方法。In：走向机械化数学助理，第14次研讨会，calculemus 2007，第6次国际会议，MKM 2007，Hagenberg，2007年6月27日至30日，Proceedings，pp.342-355（2007）·Zbl 1202.68130号
[50] Misutka，J.，Galambos，L.：全文搜索引擎索引器的数学扩展。信息和通信技术：从理论到应用，2008年。ICTTA 2008年。第三届国际会议，第1-6页（2008年）·Zbl 1170.68488号
[51] Mišutka，J.，Galamboš，L.：扩展数学内容的全文搜索引擎。In:DML 2008。走向数字数学图书馆，伯明翰，2008年7月27日。会议记录，第55-67页。布尔诺Masaryk大学（2008年）·Zbl 1170.68488号
[52] Munavalli，R.，Miner，R.：Mathfind：一个有数学意识的搜索引擎。摘自：第29届ACM SIGIR国际信息检索研究与开发年会论文集，第735-735页。ACM（2006）
[53] Nghiem，M.-Q.，Kristianto，G.Y.，Topić，G.，Aizawa，A.：哪一个更好：基于演示还是基于内容的数学搜索？In:智能计算机数学国际会议，2014年7月7日至11日，Coimbra，CICM 2014。会议记录，第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年Calculemus，第6次国际会议，2007年MKM，2007年6月27日至30日，Hagenberg，会议记录，第356-370页（2007）·Zbl 1202.68157号
[56] Pattaniyil，N.，Zanibbi，R.：将TF-IDF文本检索与数学表达式中符号对的反向索引相结合：NTCIR 2014年的切线数学搜索引擎。In：程序。第11届NTCIR会议（日本东京），第135-142页（2014年）
[57] Rabe，F.：正式数学库的查询语言。参加：智能计算机数学第11届国际会议，AISC 2012，第19次研讨会，Calculemus 2012，第5次国际研讨会，DML 2012，第11次国际会议，MKM 2012，系统和项目，作为CICM 2012的一部分在不来梅举行，2012年7月8日至13日。会议记录，第143-158页（2012年）·Zbl 1359.68272号
[58] Růzička，M.，Sojka，P.，Líska，M.：引擎盖下的数学索引器和搜索器：获胜策略的历史和发展。In：程序。第11届NTCIR会议（日本东京），第127-134页（2014年）
[59] Schöneberg，U.，Sperber，W.：词性标注及其在数学文本分析中的应用。In:智能计算机数学国际会议，CICM 2014，Coimbral，2014年7月7日至11日。会议记录，第213-223页（2014）·Zbl 1304.68180号
[60] Schubotz，M.，Leich，M.，Markl，V.：查询大量数学出版物：NTCIR10数学任务。In：程序。第十届NTCIR会议（日本东京），第667-674页（2013年）
[61] Schubotz，M.、Youssef，A.、Markl，V.、Cohl，H.S.、Li，J.J.：基于NTCIR-11数学任务的公式相似性度量因子评估。In：程序。第十届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）·Zbl 1335.68292号
[64] Topić，G.，Kristianto，G.Y.，Nghiem，M.-Q.，Aizawa，A.：NTCIR-10数学轨道的MCAT数学检索系统。In：程序。第十届NTCIR会议（日本东京），第680-685页（2013年）
[65] Wolska，M.，Grigore，M.：数学写作中的符号声明。In:DML 2010。走向数字数学图书馆，巴黎，2010年7月7日至8日。会议记录，第119-127页。布尔诺Masaryk大学（2010年）·Zbl 1392.00068号
[66] Yokoi，K.，Aizawa，A.：使用MathML对数学表达式进行相似性搜索的方法。In: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.：数学搜索在数学中的作用。In:数学知识管理，第五届国际会议，MKM 2006，沃金汉，2006年8月11-12日，会议记录，第2-16页（2006）·Zbl 1188.68128号
[69] Youssef，A.：数学搜索中的相关性排序和命中率生成方法。摘自：《走向机械化数学助理》，第14届研讨会，2007年Calculemus，第6届国际会议，2007年MKM，2007年6月27日至30日，Hagenberg，会议记录，第393-406页（2007）·兹比尔1202.68161
[70] Youssef，A.，Shatnawi，M.：使用解析树规范化进行等价检测的数学搜索。参加：第四届计算机科学和信息技术国际会议（2006年）
[71] Youssef，A.S.：数学搜索中的相关性排名和命中率描述。数学。计算。科学。2(2), 333-353 (2008) ·兹比尔1178.68218 ·doi:10.1007/s11786-008-0057-3
[72] Youssef，A.S.，Altamimi，M.E.：一种广泛的数学查询语言。参加：第十六届软件工程和数据工程国际会议（SEDE-2007）。2007年7月9日至11日，第57-63页。拉斯维加斯皇宫酒店，拉斯维加斯，会议记录（2007）
[73] Zanibbi，R.，Blostein，D.：数学表达式的识别和检索。国际期刊。分析。认可。（IJDAR）15（4），331-357（2012）·doi:10.1007/s10032-011-0174-4
[74] Zanibbi，R.，Orakwue，A.：大众的数学搜索：多模态搜索界面和基于外观的检索。收录于：Kerber，M.，Carette，J.，Kaliszyk，C.，Rabe，F.，Sorge，V.，（eds.），智能计算机数学国际会议，CICM 2015，华盛顿特区，2015年7月13日至17日，计算机科学论文集，讲稿，第9150卷，第18-36页。斯普林格（2015）·Zbl 1417.68274号
[75] Zhang，Q.，Youssef，A.：一种数学相似性搜索方法。In:智能计算机数学国际会议，2014年7月7日至11日，Coimbra，CICM 2014。会议记录，第404-418页（2014年）·Zbl 1304.68040号
[76] Zhang，Q.，Youssef，A.：数学相似性搜索的性能评估和优化。收录于：Kerber，M.，Carette，J.，Kaliszyk，C.，Rabe，F.，Sorge，V.，（eds.）智能计算机数学国际会议，CICM 2015，华盛顿特区，2015年7月13日至17日，计算机科学会议录，讲稿，第9150卷，第243-257页。斯普林格（2015）·Zbl 1417.68275号
[77] Zhao，J.，Kan，M.-Y.，Theng，Y.L.：数学信息检索：用户需求和原型实现。摘自：第八届ACM/IEEE-CS数字图书馆联合会议记录，第187-196页。ACM（2008）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。