网络MIaS swMATH ID: 33684 软件作者: 利什卡,马丁;Petr Sojka;米查尔·里奇卡 描述: 数学索引器和搜索器web界面。满足数学家的信息需求。我们正在为数字数学图书馆设计和开发一个名为WebMIaS的网络用户界面。它允许数学家通过分面搜索界面来表达查询。用户可以将标准文本自动完成的关键字与LaTeX或MathML格式的数学公式形式的关键字相结合。公式由web浏览器实时显示,以供用户反馈。我们描述了WebMIaS设计原则和我们在欧洲数字数学图书馆(EuDML)中部署的经验。我们进一步描述了通过公式规范化和使用Content-MathML支持扩展MIaS索引引擎所解决的问题。 主页: https://mir.fi.muni.cz/webmias网站/ 源代码: https://github.com/MIR-MU/WebMIaS网站 关键词: 搜索界面;数学感知搜索;数字数学图书馆;公式规范化;网络MIaS;MIaS公司;欧洲DML;数学ML 相关软件: 幼崽;数学查找;质量管理团队;毫米;DLMF公司;米扎尔;ARQ路径;码头工人;数学Web搜索;Coq公司 引用于: 4文件 标准条款 2出版物描述软件,包括2出版物以zbMATH为单位 年份 Docker上的WebMIaS。在一行代码中部署math-aware搜索。 Zbl 1485.68299号达维德·卢普塔克;诺沃顿,维特;什蒂法尼克,米查尔;彼得·索伊卡 2021 数学索引器和搜索器web界面。满足数学家的信息需求。 Zbl 1304.68199号马丁·利什卡;彼得·索伊卡;米查尔·里奇卡 2014 全部的 前5名8位作者引用 2 费卢西奥·圭迪 2 克劳迪奥·萨塞尔多蒂·科恩 2 彼得·索伊卡 1 马丁·利什卡 1 达维德·卢普塔克 1 诺沃顿,维特 1 米查尔·鲁齐卡 1 什蒂法尼克,米查尔 连载1篇 1 计算机科学中的数学 在1个字段中引用 4 计算机科学(68至XX) 按年份列出的引文