×

网络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文件

在1个字段中引用

4 计算机科学(68至XX)

按年份列出的引文