利什卡，马丁;彼得·索伊卡;米查尔·里奇卡 数学索引器和搜索器web界面。满足数学家的信息需求。 （英语） Zbl 1304.68199号 Watt，Stephen M.（编辑）等人，《智能计算机数学》。2014年7月7日至11日在葡萄牙科英布拉举行的2014年国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-319-08433-6/pbk）。计算机科学课程讲稿8543。《人工智能课堂讲稿》，444-448（2014）。 摘要：我们正在为数字数学图书馆设计和开发一个名为WebMIaS的web用户界面。它允许数学家通过分面搜索界面表达查询。用户可以将标准文本自动完成的关键字与LaTeX或MathML格式的数学公式形式的关键字相结合。公式由web浏览器实时显示，以供用户反馈。我们描述了WebMIaS设计原则和我们在欧洲数字数学图书馆（EuDML）中部署的经验。我们进一步描述了公式规范化和使用Content-MathML支持扩展MIaS索引引擎所解决的问题。关于整个系列，请参见[Zbl 1293.68035号]. 引用于4文件 MSC公司： 68单位35 信息系统的计算方法（超文本导航、接口、决策支持等） 关键词：搜索界面;数学感知搜索;数字数学图书馆;公式规范化;网络MIaS;MIaS公司;欧洲DML;数学ML 软件：网络MIaS;DLMF公司 PDF格式BibTeX公司 XML格式引用 \textit{M.Líska}等人，Lect。注释计算。科学。8543、444--448（2014；Zbl 1304.68199） 全文： 内政部 arXiv公司 参考文献： [1] Borbinha，J.、Bouche，T.、Nowinnski，A.、Sojka，P.：EuDML项目——第一年演示。收录人：Davenport，J.H.，Farmer，W.M.，Urban，J.，Rabe，F.（编辑）Calculemus/MKM 2011。LNCS（LNAI），第6824卷，第281-284页。斯普林格，海德堡（2011）·Zbl 1335.68288号 ·doi:10.1007/978-3-642-22673-1_21 [2] Formánek，D.、Líska，M.、Ruíička，M.和Sojka，P.：数字数学图书馆内容的规范化。收录：Davenport，J.等人（编辑），第24届OpenMath研讨会，第7届MathUI研讨会，以及智能计算机数学工作进展，亚琛。CEUR研讨会论文集，第921卷，第91–103页（2012年），http://ceur-ws.org/Vol-921/wip-05.pdf [3] Kamali，S.：查询半结构化数据的大型集合。滑铁卢大学博士论文（导师：Frank Tompa）（2013年） [4] LaTeXML项目：LaTeX到XML转换器（2014），http://dlmf.nist.gov/LaTeXML/ [5] Líška，M.，Sojka，P.，Ruíička，M：数学相似性搜索：NTCIR-10数学任务中的Masaryk大学团队。收录：Kando，N.等人（编辑）NTCIR-10在线会议记录（2013年），http://research.nii.ac.jp/ntcir/workshop/OnlineProceedings10/pdf/ntcir/MATH/06-NTCIR10-MATH-LiskaM.pdf [6] Líška，M.，Sojka，P.，Ruíička，M，Mravec，P.：数学检索的Web界面和集合。摘自：Sojka，P.，Bouche，T.（编辑）《2011年DML会议录》，第77-84页。贝蒂诺罗Masaryk大学（2011），http://hdl.handle.net/10338.dmlcz/702604 [7] NTCIR项目：NTCIR试点任务：数学任务（2012），http://ntcir-math.nii.ac.jp/ [8] Sojka，P.，Líška，M.：数学检索的艺术。In：程序。ACM文件工程会议，DocEng 2011，第57-60页。ACM，山景城（2011），http://doi.acm.org/10.1145/2034691.2034703 ·doi:10.145/2034691.2034703 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。