质量管理

一种用于正式数学库的查询语言。数学知识管理最有希望的应用之一是搜索:即使我们把注意力局限于已经形式化的数学的一小部分,其数量也超出了人类个体的理解能力,我们介绍数学查询语言QMT:它结合了简单性、表达性和可伸缩性,同时避免了对特定逻辑形式的承诺。QMT可以集成各种搜索范式,如统一、语义web或XQuery风格的查询,QMT查询可以跨越不同的数学库。这种组合提供了一个可伸缩的索引和查询引擎,可以很容易地应用于任何数学知识库。虽然我们这里的重点是内容标记语言中可用的库,QMT自然地扩展到表示和叙述标记语言。


zbMATH中的参考文献(参考文献19条)

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

  1. Berčič,Katja:支持数据驱动的数学:数据库和接口生成(2019年)
  2. 高蒂埃,蒂堡;Kaliszyk,Cezary:跨校对助理库调整概念(2019)
  3. 吉迪,费鲁乔;萨尔多蒂·科恩,克劳迪奥;Tassi,Enrico:在高阶约束逻辑编程中实现类型理论(2019)
  4. 科哈塞,迈克尔;Sperber,Wolfram:软件引文、信息系统及其他(2017)
  5. 米勒,丹尼斯;高蒂埃,蒂堡;卡利斯齐克,塞扎里;科哈塞,迈克尔;拉贝,弗洛里安:形式数学系统概念之间的对齐分类(2017)
  6. 吉迪,费鲁乔;Sacerdoti Coen,Claudio:数学知识检索调查(2016)
  7. 弗洛里安·拉贝:《逻辑的未来:基金会独立》(2016)
  8. 吉迪,费鲁乔;Sacerdoti Coen,Claudio:关于数学知识检索的调查(2015)
  9. 霍洛扎尔,富尔雅;拉贝,弗洛里安:交换语言的形式逻辑定义(2015)
  10. 安库,米娜;Kohlhase,Michael:数学知识传播与聚合的弹性形式模型(2015)
  11. 拉贝,弗洛里安:通用文字(2015)
  12. 拉贝,弗洛里安:松弛理论态射(2015)
  13. 高蒂埃,蒂堡;Kaliszyk,Cezary:HOL图书馆的概念匹配(2014)
  14. 霍洛扎尔,富尔雅;拉贝,弗洛里安;Kohlhase,Michael:形式化数学的Flexary运算符(2014)
  15. 卡利斯齐克,塞扎里;拉贝,弗洛里安:迈向霍尔莱特的知识管理(2014)
  16. Kohlhase,Michael:语义、多语言数学术语的数据模型和编码(2014)
  17. 拉贝,弗洛里安:MMT API:通用MKM系统(2013)
  18. 拉贝,弗洛里安;Kohlhase,Michael:可扩展模块系统(2013)
  19. 拉贝,弗洛里安:正式数学图书馆的查询语言(2012)