数学网络搜索

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


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)