数学网络搜索

MathWebSearch0.5：扩展开放式公式搜索引擎。MathWebSearch是一个开源、开放格式、面向内容的数学公式搜索引擎。它是一个完整的系统，能够根据表达式的功能结构（运算符树）而不是其表示形式来爬行、索引和查询表达式。在0.5版本中，我们将注意力集中在MathWebSearch中的可伸缩性问题上，以利用giga公式范围内的corpora。我们重新实现了索引以使其可分发，并使所有的api web标准都一致。我们的实验表明，这种体系结构产生了一个可伸缩的应用程序。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换

zbMATH中的参考文献（参考文献20条,2标准条款)

显示第1到第20个结果，共20个。
按年份排序(引用)

  1. 阿塔瓦，O.M。；Serebryakov，弗吉尼亚州。；Tuchkova，N.P.：数理分支：识别混合型方程（2019）
  2. 吉迪，费鲁乔；Sacerdoti Coen，Claudio:数学知识检索调查（2016）
  3. 科哈塞，迈克尔；拉贝，弗洛里安：QED重新加载：走向多元形式的数学知识库（2016）
  4. 卢日尼卡、恩塞尔；Kohlhase，Michael:整数序列在线百科全书中的公式语义化和自动关系查找（2016）
  5. 弗洛里安·拉贝：《逻辑的未来：基金会独立》（2016）
  6. 考尔，霍华德S。；舒博茨，莫里茨；麦克莱恩，马乔里A。；桑德斯，博尼塔五世。；邹雪莉。；穆罕默德，阿泽姆S。；Danoff，Alex A.：利用通用资源发展数学公式的数字存储库（2015）
  7. 安库，米娜；Kohlhase，Michael:通过诱导材料进行数学素养知识管理（2015）
  8. 扎尼比，理查德；Orakwue，Awelemdy:面向大众的数学搜索：多模式搜索界面和基于外观的检索（2015）
  9. 卡利斯齐克，塞扎里；拉贝，弗洛里安：迈向霍尔莱特的知识管理（2014）
  10. 明渠Ngheim；克里斯提安托，乔瓦尼·洋子；托皮奇，戈兰；Aizawa，Aiko：哪一个更好：基于表示的还是基于内容的数学搜索？（2014年）
  11. 张群；Youssef，Abdou:数学相似性搜索方法（2014）
  12. 安库，米娜；科哈塞，迈克尔；拉贝，弗洛里安；厄本，约瑟夫：OMDoc中的Mizar数学图书馆：翻译与应用（2013）
  13. 科哈塞，迈克尔；马蒂坎，博格丹A。；Prodescu，Corneliu Claudiu:MathWebSearch 0.5:缩放开放式公式搜索引擎（2012）
  14. 拉贝，弗洛里安：正式数学图书馆的查询语言（2012）
  15. 斯坦默约翰斯，海因里希；科哈塞，迈克尔；吉涅夫、德扬；大卫，加泰林；Miller，Bruce:将大量科学出版物转换为XML（2010）
  16. 吉塞瓦，雅娜；兰格，克里斯托夫；Rabe，Florian:将web服务集成到活动数学文档中（2009）
  17. 阿尔塔米，穆迪·埃布拉赫姆；Youssef，Abdou:一种带有扩展通配符集的数学查询语言（2008）
  18. 米苏特卡，约泽夫；Galamboš，Leo:扩展数学内容全文搜索引擎（2008）
  19. 科哈塞，迈克尔；Sucan，Ioan:数学公式搜索引擎（2006）
  20. 利布雷希特，保罗；梅利斯，埃里卡：在ActiveMath中访问和检索数学内容的方法（2006）