质量管理

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


zbMATH参考文献(19篇文章引用)

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

  1. Berčič,Katja:支持数据驱动的数学:数据库和接口生成(2019年)
  2. Gauthier,Thibault;Kaliszyk,Cezary:跨校对助手库调整概念(2019)
  3. Guidi,Ferruccio;Sacerdoti Coen,Claudio;Tassi,Enrico:在高阶约束逻辑编程中实现类型理论(2019)
  4. Kohlhase,Michael;Sperber,Wolfram:软件引文、信息系统及其他(2017)
  5. Müller,Dennis;Gauthier,Thibault;Kaliszyk,Cezary;Kohlhase,Michael;Rabe,Florian:形式数学系统概念之间对齐的分类(2017)
  6. Guidi,Ferruccio;Sacerdoti Coen,Claudio:数学知识检索调查(2016)
  7. 弗洛里安·拉贝:《逻辑的未来:基金会独立》(2016)
  8. Guidi,Ferruccio;Sacerdoti Coen,Claudio:数学知识检索调查(2015)
  9. Horozal,Fulya;Rabe,Florian:交换语言的形式逻辑定义(2015)
  10. Iancu,Mihnea;Kohlhase,Michael:数学知识传播和聚合的灵活形式模型(2015)
  11. 拉贝,弗洛里安:通用文字(2015)
  12. 拉贝,弗洛里安:松弛理论态射(2015)
  13. Gauthier,Thibault;Kaliszyk,Cezary:跨HOL库的匹配概念(2014)
  14. Horozal,Fulya;Rabe,Florian;Kohlhase,Michael:形式化数学的Flexary运算符(2014)
  15. Kaliszyk,Cezary;Rabe,Florian:面向HOL Light的知识管理(2014)
  16. Kohlhase,Michael:语义、多语言数学术语的数据模型和编码(2014)
  17. 拉贝,弗洛里安:MMT API:通用MKM系统(2013)
  18. 拉贝,弗洛里安;科哈塞,迈克尔:一个可扩展的模块系统(2013)
  19. 拉贝,弗洛里安:正式数学图书馆的查询语言(2012)