×

VMEXT:用于数学表达式树的可视化工具。 (英语) Zbl 1367.68310号

Geuvers,Herman(编辑)等人,《智能计算机数学》。2017年7月17日至21日,在英国爱丁堡举行的第十届国际会议,CICM 2017。诉讼程序。查姆:施普林格(ISBN 978-3-319-62074-9/pbk;978-3-3169-62075-6/电子书)。计算机科学课程讲稿10383。《人工智能讲义》,340-355(2017)。
摘要:数学表达式可以表示为由终端符号组成的树,例如标识符或数字(叶节点)和函数或运算符(非叶节点)。表达式树是存储和处理数学表达式的重要机制,也是最常用的数学表达式结构可视化工具。通常,研究人员和从业者使用通用工具手动可视化表达式树。这种方法费力、冗余且容易出错。手动可视化表示用户对表达式的标记应该是什么的概念,但不一定是实际的标记。本文介绍了VMEXT,它是一个免费的开源工具,可以直接从并行MathML可视化表达式树。VMEXT同时可视化表示元素和数学表达式的语义结构,使用户能够快速发现Content MathML标记中不影响表达式表示的缺陷。以前识别这种差异需要阅读冗长复杂的MathML标记。VMEXT还允许可视化两个表达式中相似和相同的元素。可视化表达式相似性可以支持开发人员设计检索方法,并为数学信息检索系统的用户提供改进的交互概念。我们在两个基于web的应用程序中演示了VMEXT的可视化。第一个应用程序仅显示可视化效果。第二个应用程序显示了数学知识管理和数学信息检索系统中可视化的可能集成。应用程序转换乳胶输入到并行MathML,计算数学表达式的基本相似性度量,并使用VMEXT可视化结果。
关于整个系列,请参见[Zbl 1364.68010号].

MSC公司:

68立方英尺 知识表示
68第20页 信息存储和数据检索
68平方英寸15 文本处理的计算方法;数学排版
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] Altamimi,M.E.,Youssef,A.S.:一种具有扩展通配符集的数学查询语言。数学。计算。科学。305–331 (2008). 数字对象标识:2007年10月17日/11786-008-0056-4·Zbl 1176.68053号 ·doi:10.1007/s11786-008-0056-4
[2] Cervone,D.,Krautzberger,P.,Sorge,V.:面向数学符号的有意义的视觉抽象。致:CICM会议记录(2015)
[3] Cohl,H.S.、McClain,M.A.、Saunders,B.V.、Schubotz,M.、Williams,J.C.:数学公式的数字存储库。收录人:Watt,S.M.、Davenport,J.H.、Sexton,A.P.、Sojka,P.、Urban,J.(编辑)CICM 2014。LNCS(LNAI),第8543卷,第419-422页。查姆施普林格(2014)。数字对象标识:10.1007/978-3-319-08434-3_30·Zbl 1304.68194号 ·数字对象标识代码:10.1007/978-3-319-08434-3_30
[4] Cohl,H.S.、Schubotz,M.、McClain,M.A.、Saunders,B.V.、Zou,C.Y.、Mohammed,A.S.、Danoff,A.A.:利用通用LATEX源发展数学公式的数字存储库。作者:Kerber,M.,Carette,J.,Kaliszyk,C.,Rabe,F.,Sorge,V.(编辑)CICM 2015。LNCS,第9150卷,第280-287页。查姆施普林格(2015)。数字对象标识:10.1007/978-3-319-20615-8_18 ·Zbl 1417.68204号 ·doi:10.1007/978-3-319-20615-8_18
[5] Corneli,J.,Schubotz,M.:math.wikipedia.org:合作半正式、语言无关数学百科全书的愿景。致:CAITP会议记录(2017)
[6] Gipp,B.等人:第一个基于引用的剽窃检测原型的演示。摘自:SIGIR会议记录,第1119–1120页(2013年)。数字对象标识:10.1145/2484028.2484214 ·doi:10.1145/2484028.2484214
[7] Gipp,B.等人:跨语言剽窃案例中使用引用模式可视化进行语义相似性检测的网络演示。摘自:《企业信息系统国际会议论文集》,第677–683页(2014年)。数字对象标识:10.5220/0004985406770683 ·doi:10.5220/000498585406770683
[8] Gipp,B.:基于引文的剽窃检测——使用引文模式分析检测伪装和跨语言剽窃。施普林格,威斯巴登(2014)
[9] Gipp,B.,Meuschke,N.,Breitinger,C.:检测,基于引用的剽窃:大规模科学语料库的实用性。JASIST 65,1527–1540(2014)。数字对象标识:10.1002/asi.23228·doi:10.1002/asi.23228
[10] Guidi,F.,Sacerdoti Coen,C.:关于数学知识检索的调查。数学。计算。科学。409–427 (2016). 数字对象标识:2007年10月17日/11786-016-0274-0·Zbl 1409.68085号 ·doi:10.1007/s11786-016-0274-0
[11] Hashimoto,H.,Hijikata,Y.,Nishida,S.:合并宽度优先搜索以索引MathML对象。摘自:SMC会议记录,第3519-3523页。IEEE(2008)。数字对象标识:10.1109/ICSMC.2008.4811843·doi:10.1010/ICSMC.2008.4811843
[12] Hagino,H.,Saito,H.:在NTCIR-10数学任务中使用结构反射索引进行部分匹配检索。收录:NTCIR-10会议记录。国家信息学研究所(2013)
[13] Jansen,A.R.,Marriott,K.,Yelland,G.W.:数学表达式中的成分结构。收录于:CogSci,第22卷(2000年)
[14] Kamali,S.,Tompa,F.W.:改进数学检索。摘自:《DML会议录》,第37-48页(2009年)·Zbl 1176.68070号
[15] Kamali,S.,Tompa,F.W.:一种新的数学检索系统。摘自:CIKM会议记录,第1413-1416页。ACM(2010)。数字对象标识:10.1145/1871437.1871635 ·doi:10.1145/1871437.1871635
[16] Kamali,S.,Tompa,F.W.:数学检索的结构相似性搜索。作者:Carette,J.、Aspinall,D.、Lange,C.、Sojka,P.、Windsteiger,W.(编辑)CICM 2013。LNCS(LNAI),第7961卷,第246–262页。施普林格,海德堡(2013)。数字对象标识:10.1007/978-3-642-39320-4_16 ·Zbl 1390.68258号 ·doi:10.1007/978-3-642-39320-4_16
[17] Meuschke,N.,Gipp,B.:检测学术剽窃的最新技术。国际教育杂志。诚信9,50–71(2013)
[18] Meuschke,N.,Gipp,B.:通过使用引文特征限制检索空间,减少剽窃检测的计算工作量。摘自:《JCDL学报》,第197-200页(2014年)。数字对象标识:10.1109/JCDL.2014.6970168·doi:10.1109/JCDL.2014.6970168
[19] Meuschke,N.,Gipp,B.,Breitinger,C.:CitePlag:基于引用的剽窃检测系统原型。摘自:《国际剽窃会议论文集》(2012年)
[20] Miller,B.R.:平行标记策略。作者:Kerber,M.,Carette,J.,Kaliszyk,C.,Rabe,F.,Sorge,V.(编辑)CICM 2015。LNCS,第9150卷,第203-210页。查姆施普林格(2015)。数字对象标识:10.1007/978-3-319-20615-8_13 ·Zbl 1417.68209号 ·doi:10.1007/978-3-319-20615-8_13
[21] Miner,R.,Munavalli,R.:通过查询公式和数据规范化进行数学搜索的方法。收录人:Kauers,M.、Kerber,M.,Miner,R.、Windsteiger,W.(编辑)Calculemus/MKM-2007。LNCS,第4573卷,第342-355页。斯普林格,海德堡(2007)。数字对象标识:10.1007/978-3-540-73086-6_27·Zbl 1202.68130号 ·doi:10.1007/978-3-540-73086-6_27
[22] Olver,F.W.J.、Olde Daalhuis,A.B.、Lozier,D.W.、Schneider,B.I.、Boisvert,R.F.、Clark,C.W.、Miller,B.R.、Saunders,B.V.(编辑)NIST数学函数数字图书馆。http://dlmf.nist.gov/
2017-06-01第1.0.15版
[23] Pattaniyil,N.,Zanibbi,R.:将TF-IDF文本检索与数学表达式中符号对的反向索引相结合:切线数学搜索引擎。收录:NTCIR-11会议记录。国家信息学研究所(2014)
[24] Schubotz,M.等人:基于NTCIR-11数学任务的公式相似性度量因子评估。收录:NTCIR-11会议记录。国家信息学研究所(2014)
[25] Schubotz,M.等人:数学标识符的语义化,以更好地进行数学信息检索。摘自:SIGIR会议记录,第135–144页。ACM(2016)。数字对象标识:10.1145/2911451.2911503·数字对象标识代码:10.1145/2911451.2911503
[26] Schubotz,M.:扩充数学公式以实现更有效的查询和高效的呈现。Epubli Verlag,柏林(2017年,即将出版)
[27] Shneiderman,B.:眼睛有它:信息可视化的数据类型分类任务。摘自:《视觉语言学报》,第336–343页(1996年)。数字对象标识:10.1109/VL.1996.545307·doi:10.1109/VL.1996.545307
[28] Sojka,P.,Líška,M.:数学检索的艺术。摘自:Proceedings DocEng,第57-60页。ACM(2011)。数字对象标识:10.1145/2034691.2034703 ·数字对象标识代码:10.1145/2034691.2034703
[29] Schubotz,M.,Wicke,G.:Mathoid:针对维基百科的健壮、可伸缩、快速和可访问的数学渲染。收录人:Watt,S.M.、Davenport,J.H.、Sexton,A.P.、Sojka,P.、Urban,J.(编辑)CICM 2014。LNCS,第8543卷,第224-235页。查姆施普林格(2014)。数字对象标识:10.1007/978-3-319-08434-3_17 ·Zbl 1304.68200号 ·doi:10.1007/978-3-319-08434-3_17
[30] Shatnawi,M.,Youssef,A.:使用解析树规范化进行数学搜索的等价性检测。摘自:ICDIM会议记录,第643–648页。IEEE(2007)。数字对象标识:10.1109/ICDIM.2007.4444297·doi:10.1109/ICDIM.2007.4444297
[31] Yokoi,K.,Aizawa,A.:一种使用MathML搜索数学表达式相似性的方法。摘自:《DML会议记录》,第27-35页。马萨里克大学出版社,布尔诺(2009)·兹比尔1176.68074
[32] Youssef,A.,Shatnawi,M.:使用解析树规范化进行等价检测的数学搜索。In:CoSIT诉讼(2006)
[33] Zanibbi,R.,Blostein,D.:数学表达式的识别和检索。程序。IJDAR 331–357(2012年)。数字对象标识:10.1007/s10032-011-0174-4·doi:10.1007/s10032-011-0174-4
[34] Zhang,Q.,Youssef,A.:一种数学相似性搜索方法。收录人:Watt,S.M.、Davenport,J.H.、Sexton,A.P.、Sojka,P.、Urban,J.(编辑)CICM 2014。LNCS(LNAI),第8543卷,第404-418页。查姆施普林格(2014)。数字对象标识:10.1007/978-3-319-08434-3_29 ·Zbl 1304.68040号 ·doi:10.1007/978-3-319-08434-3_29
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。