数学网络搜索

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


zbMATH中的参考文献(参考 20篇文章 参考,2标准条款)

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

  1. 数学方程组;图瓦塔夫(2019):混合物理
  2. Guidi,Ferruccio;Sacerdoti Coen,Claudio:数学知识检索调查(2016)
  3. Kohlhase,Michael;Rabe,Florian:QED重新加载:走向多元形式的数学知识库(2016)
  4. Luzhnica,Enxhell;Kohlhase,Michael:在线整数序列百科全书中的公式语义化和自动关系查找(2016)
  5. 弗洛里安·拉贝:《逻辑的未来:基金会独立》(2016)
  6. Cohl,Howard S.;Schubotz,Moritz;McClain,Marjorie A.;Saunders,Bonita V.;Zou,Cherry Y.;Mohammed,Azeem S.;Danoff,Alex A.:利用通用资源开发数学公式的数字存储库(2015年)
  7. Iancu,Mihnea;Kohlhase,Michael:通过诱导材料进行数学知识管理(2015)
  8. Zanibbi,Richard;Orakwue,Awelemdy:面向大众的数学搜索:多模式搜索界面和基于外观的检索(2015)
  9. Kaliszyk,Cezary;Rabe,Florian:面向HOL Light的知识管理(2014)
  10. Nghiem,Minh Quoc;Kristianto,Giovanni Yoko;Topić,Goran;Aizawa,Aiko:哪一个更好:基于演示还是基于内容的数学搜索?(2014年)
  11. 张群;尤瑟夫,阿布杜:数学相似性搜索方法(2014)
  12. 数学应用:米哈内夫(Michael Rabianse)和《米齐安尼》(The Mathematic applications)杂志(The Mathematic applications):米哈内夫(Michael Rabiane)和米西安(The Mishnef)2013年出版的《数学应用》(The Mathematic applications):米哈内夫(Michael)和
  13. Kohlhase,Michael;Matican,Bogdan A.;Prodescu,Corneliu Claudiu:MathWebSearch 0.5:缩放开放式公式搜索引擎(2012)
  14. 拉贝,弗洛里安:正式数学图书馆的查询语言(2012)
  15. Stamerjohanns,Heinrich;Kohlhase,Michael;Ginev,Deyan;David,Catalin;Miller,Bruce:将大量科学出版物集合转换为XML(2010)
  16. Giceva,Jana;Lange,Christoph;Rabe,Florian:将web服务集成到活动数学文档中(2009)
  17. Altami,Moody Ebrahem;Youssef,Abdou:一种带有扩展通配符集的数学查询语言(2008)
  18. Mišutka,Jozef;Galamboš,Leo:扩展数学内容全文搜索引擎(2008)
  19. Kohlhase,Michael;Sucan,Ioan:数学公式搜索引擎(2006)
  20. Libbrecht,Paul;Melis,Erica:在ActiveMath中访问和检索数学内容的方法(2006)