×
明戈省Nghiem；克里斯蒂亚托、乔瓦尼·洋子；戈兰·托皮奇；Akiko爱泽

哪一个更好：基于演示的还是基于内容的数学搜索？ （英语） Zbl 1304.68039号

Watt，Stephen M.（编辑）等人，《智能计算机数学》。2014年7月7日至11日在葡萄牙科英布拉举行的2014年国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-319-08433-6/pbk）。计算机科学课程讲稿8543。《人工智能课堂讲稿》，200-212（2014）。
摘要：数学内容是一个有价值的信息源，检索这些内容已成为一个重要问题。本文比较了两种数学表达式搜索策略：基于表示的方法和基于内容的方法。基于表示的搜索使用最先进的数学搜索系统，而基于内容的搜索使用数学表达式的语义丰富来将数学表达式转换为其内容形式，并使用这些基于内容的表达式进行搜索。通过考虑数学表达式的含义，与基于表示的系统相比，搜索系统的质量得到了提高。
关于整个系列，请参见[Zbl 1293.68035号].

引用于三文件

MSC公司：

68第20页 信息存储和数据检索
68立方英尺 知识表示
68单位35 信息系统的计算方法（超文本导航、接口、决策支持等）

关键词：

数学检索；基于内容的数学搜索；数学ML

软件：

数学溢出；DLMF公司；数学Web搜索；动态数学；Wolfram功能站点；数学ML；自我数学；索尔；数学发现
PDF格式BibTeX公司 XML格式引用
\textit{M.-Q.Nghiem}等人，Lect。注释计算。科学。8543，200--212（2014；Zbl 1304.68039）
全文： 内政部 arXiv公司

参考文献：

[1] Aizawa，A.，Kohlhase，M.，Ounis，I.：NTCIR-10数学试点任务概述。收录于：国家信息学研究所测试床和信息获取研究社区10（NTCIR-10），第654-661页（2013）
[2] 国家标准与技术研究所：数学函数数字图书馆，http://dlmf.nist.gov（2014年3月1日访问）
[3] Springer:Springer LaTeX搜索，http://www.latexsearch.com/（2014年3月1日访问）
[4] Youssef，A.S.：数学内容的信息搜索和检索：问题和方法。摘自：ISCA第14届智能和自适应系统与软件工程国际会议，第100–105页（2005）
[5] Altamimi，M.E.，Youssef，A.S.：一种具有扩展通配符集的数学查询语言。计算机科学中的数学2305–331（2008）·Zbl 1176.68053号 ·doi:10.1007/s11786-008-0056-4
[6] Youssef，A.S.，Altamimi，M.E.：一种广泛的数学查询语言。收录于：SEDE，第57-63页（2007年）
[7] Miner，R.，Munavalli，R.：通过查询公式和数据规范化进行数学搜索的方法。收录人：Kauers，M.、Kerber，M.，Miner，R.、Windsteiger，W.（编辑）MKM/CALCULEMUS 2007。LNCS（LNAI），第4573卷，第342-355页。斯普林格，海德堡（2007）·兹比尔1202.68130 ·doi:10.1007/978-3-540-73086-6_27
[8] Wolfram：Wolfram功能网站，http://functions.wolfram.com/（2014年3月1日访问）
[9] Adeel，M.，Cheung，H.S.，Khiyal，S.H.：数学开始！基于内容的数学公式搜索引擎原型。《理论与应用信息技术杂志》4（10），1002–1012（2008）
[10] Kohlhase，M.，Sucan，I.：数学公式搜索引擎。收录人：Calmet，J.、Ida，T.、Wang，D.（编辑）AISC 2006。LNCS（LNAI），第4120卷，第241-253页。斯普林格，海德堡（2006）·Zbl 1156.68306号 ·数字对象标识代码：10.1007/11856290_21
[11] Yokoi，K.，Aizawa，A.：使用mathml对数学表达式进行相似性搜索的方法。In:第二届数字数学图书馆研讨会，DML 2009，第27–35页（2009）·Zbl 1176.68074号
[12] Kohlhase，M.，Prodescu，C.C.：NTCIR-10的数学网络搜索。收录于：国家信息学研究所测试床和信息获取研究社区10（NTCIR-10），第675-679页（2013）
[13] Nguyen，T.T.，Chang，K.，Hui，S.C.：用于数学问答系统的数学感知搜索引擎。摘自：《第21届ACM信息与知识管理国际会议记录》（CIKM 2012），第724-733页（2012）·doi:10.1145/2396761.2396854
[14] Ausbrooks，R.、Buswell，S.、Carlisle，D.、Chavchanidze，G.、Dalmas，S.，Devitt，S.和Diaz，A.、Dooley，S.以及Hunter，R.和Ion，P.等人：数学标记语言（MathML）3.0版。W3C建议。万维网联盟（2010）
[15] Buswell，S.、Caprotti，O.、Carlisle，D.P.、Dewar，M.C.、Gaetano，M.、Kohlhase，M.：开放数学标准。技术报告，2.0版。开放数学协会（2004）
[16] McCain，D.：SnuggleTeX版本1.2.2，网址：http://www2.ph.ed.ac.uk/snuggletex/（2014年3月1日访问）
[17] Miller，B.R.:LaTeXML是LaTeX到XML的转换器，http://dlmf.nist.gov/LaTeXML/（2014年3月1日访问）
[18] Kamali，S.，Tompa，F.W.：改进数学检索。摘自：第二届数字数学图书馆研讨会，第37-48页（2009年）·Zbl 1176.68070号
[19] Kamali，S.，Tompa，F.W.：数学检索的结构相似性搜索。作者：Carette，J.、Aspinall，D.、Lange，C.、Sojka，P.、Windsteiger，W.（编辑）CICM 2013。LNCS（LNAI），第7961卷，第246–262页。斯普林格，海德堡（2013）·兹比尔1390.68258 ·doi:10.1007/978-3-642-39320-4_16
[20] Zanibbi，R.，Blostein，D.：数学表达式的识别和检索。IJDAR 15、331–357（2012年）·doi:10.1007/s10032-011-0174-4
[21] Munavalli，R.，Miner，R.：Mathfind：一个有数学意识的搜索引擎。摘自：第29届国际ACM SIGIR信息检索研究与开发会议记录，第735页。ACM（2006）·doi:10.1145/1148170.1148348
[22] Miller，B.R.，Youssef，A.S.：数学函数数字库的技术方面。《数学与人工智能年鉴》38，121–136（2003）·Zbl 1019.65002号 ·doi:10.1023/A:1022967814992
[23] Youssef，A.S.：数学搜索中的相关性排名和热门内容生成方法。收录人：Kauers，M.、Kerber，M.，Miner，R.、Windsteiger，W.（编辑）MKM/Calculemus 2007。LNCS（LNAI），第4573卷，第393-406页。斯普林格，海德堡（2007）·Zbl 1202.68161号 ·doi:10.1007/978-3-540-73086-6_31
[24] Sojka，P.，Líška，M.：数学检索的艺术。摘自：《ACM文件工程会议记录》，DocEng 2011，加利福尼亚州山景城，第57-60页。计算机协会（2011）·数字对象标识代码：10.1145/2034691.2034703
[25] Mišutka，J.、Galamboš，L.：系统描述：EgoMath2作为wikipedia.org上的数学搜索工具。收录：Davenport，J.H.、Farmer，W.M.、Urban，J.和Rabe，F.（编辑）Calculemus/MKM 2011。LNCS，第6824卷，第307-309页。斯普林格，海德堡（2011）·Zbl 1335.68291号 ·doi:10.1007/978-3-642-22673-130
[26] 西克曼，J.：Activemath，http://www.activemath.org/eu/（2014年3月1日访问）
[27] MathOverflow:数学溢出，http://mathoverflow.net/（2014年3月1日访问）
[28] Nghiem，M.Q.，Kristianto，G.Y.，Aizawa，A.：使用mathml并行标记语料库来丰富数学表达式的语义。电子、信息和通信工程师学会杂志E96-D（8），1707–1715（2013）
[29] 阿帕奇：阿帕奇solr，http://lucene.apache.org/solr/（2014年3月1日访问）
[30] Topic，G.，Kristianto，G.Y.，Nghiem，M.Q.，Aizawa，A.：NTCIR-10数学轨道的MCAT数学检索系统。收录于：国家信息学研究所测试床和信息获取研究社区10（NTCIR-10），第680-685页（2013年）
[31] 康奈尔大学图书馆：arxiv，http://arxiv.org/（2014年3月1日访问）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。