数学Web搜索 swMATH编号： 3712 软件作者： Michael Kohlhase、Bogdan A.Matican、Corneliu-Claudiu Prodescu 描述： MathWebSearch 0.5：缩放开放式公式搜索引擎。MathWebSearch是一个开源、开放格式、面向内容的数学公式搜索引擎。它是一个完整的系统，能够根据表达式的功能结构（操作符树）而不是其表示来爬行、索引和查询表达式。在0.5版中，我们主要关注MathWebSearch中的可伸缩性问题，以利用giga-formula范围内的语料库。我们重新实现了该索引以使其可分发，并使所有API web标准一致。我们的实验表明，这种体系结构可以产生可扩展的应用程序。 主页： http://trac.mathweb.org/MWS 编程语言： C类++ 相关软件： OMDoc公司;MMT公司;米扎尔;DLMF公司;动态数学;月收入;质量管理团队;伊莎贝尔;数学查找;HOL灯;Coq公司;拉丁语;乳胶;LaTeXML;TNT基地;存档正式证据;毫升;Isabelle/j编辑;seL4级;IMPS公司 引用于： 22文件 标准条款 2出版物描述软件，包括2出版物以zbMATH为单位 年份 MathWebSearch 0.5：缩放开放式公式搜索引擎。 Zbl 1278.68296号迈克尔·科尔哈斯;博格丹·A·马蒂肯。;普罗迪斯库，科内留·克劳迪乌 2012 数学公式搜索引擎。 Zbl 1156.68306号迈克尔·科尔哈斯;艾奥·苏坎 2006 全部的 前5名42位作者引用 8 迈克尔·科尔哈斯 7 弗洛里安·拉贝 2 米尼亚·伊恩库 2 阿卜杜·尤塞夫。 1 Akiko N.Aizawa。 1 穆迪·易卜拉欣·阿尔塔米米 1 阿塔耶娃，O.M。 1 霍华德·索尔·科尔 1 亚历克斯·A·丹诺夫。 1 加泰林·大卫 1 利奥·加兰波斯 1 贾纳·吉塞瓦 1 德扬·基涅夫 1 费卢西奥·圭迪 1 塞萨里·卡利西克 1 克里斯蒂安托，乔瓦尼·洋子 1 库马尔·佩雷普（Kumar Perepu，Pavan） 1 克里斯托夫·兰格 1 保罗·利布雷希特 1 埃克塞尔·卢西纳亚 1 博格丹·A·马蒂肯。 1 马乔丽·麦克莱恩（Marjorie A.McClain）。 1 艾丽卡，梅利斯 1 布鲁斯·米勒。 1 乔泽夫·米什尤特卡 1 阿齐姆·穆罕默德。 1 明戈省Nghiem 1 奥莱姆迪奥拉奎 1 科尼利乌·克劳迪·普罗德斯库 1 克劳迪奥·萨塞尔多蒂·科恩 1 博尼塔五世桑德斯。 1 莫里茨·舒博茨 1 Serebryakov，V.A。 1 海因里希·斯坦默约翰斯 1 Şucan，Ioan A。 1 戈兰·托皮奇 1 纳塔尔亚·巴夫洛夫娜·图奇科娃 1 约瑟夫·乌尔班 1 马卡里乌斯·温泽尔 1 理查德·扎尼比 1 张群 1 Zou，Cherry Y。 全部的 前5名6篇连载文章中引用 3 计算机科学中的数学 1 自动推理杂志 1 洛巴切夫斯基数学杂志 1 并行处理信件 1 泛逻辑 1 形式化推理期刊 全部的 前5名在7个字段中引用 21 计算机科学（68至XX） 1 总体主题；集合（00-XX） 1 数学逻辑和基础（03-XX） 1 数论（11-XX） 1 特殊功能（33至XX） 1 偏微分方程（35-XX） 1 数学教育（97-XX） 按年份列出的引文