百万吨

MMT语言。我们介绍了MMT语言,它为数学理论的发展提供了一个简单、可扩展的模块系统。MMT允许以一种逻辑中立的表示格式对数学知识进行编码,这种表示格式可以表示数学和逻辑系统的元理论基础以及所表示的知识本身,并在元逻辑层次上将基础联系起来。这种“逻辑即理论”的方法使系统行为及其所代表的知识具有互操作性,因而具有可比性。此外,MMT定义了模块化数学理论的良好形式性和等价性的逻辑无关的概念。因此,它在形式上严格的数学系统和不知道所处理知识的语义的知识管理服务之间提供了一个接口层


zbMATH参考文献(46篇文章引用,1标准件)

显示结果1到20,共46个。
按年份排序(引用)
  1. Alessi,Fabio;Ciafaglione,Alberto;Di Gianantonio,Pietro;Honsell,Furio;Lenisa,Marina;Scagnetto,Ivan:(\mathrmLF^+),用于快速和松散推理(2019年)
  2. Kai Amann;Kohlhase,Michael;Rabe,Florian;Wiesing,Tom:整合语义数学文档和动态笔记本(2019)
  3. Gauthier,Thibault;Kaliszyk,Cezary:跨校对助手库调整概念(2019)
  4. Guidi,Ferruccio;Sacerdoti Coen,Claudio;Tassi,Enrico:在高阶约束逻辑编程中实现类型理论(2019)
  5. 卡利斯兹克,塞扎里(编辑);布拉迪,埃德温(编辑);科哈塞,安德里亚(编辑);萨尔多蒂·科恩,克劳迪奥(编辑):智能计算机数学。第12届国际会议,CICM 2019,捷克共和国布拉格,2019年7月8日至12日。会议记录(2019年)
  6. 拉贝,弗洛里安;沙罗达,亚斯敏:MMT中的图表组合(2019)
  7. Jonas Betzendahl;Kohlhase,Michael:将IMPS理论库翻译为MMT/OMDoc(2018)
  8. 拉贝,弗洛里安:模块化类型重建算法(2018)
  9. 弗洛里安·拉贝(编辑);农民,威廉·M(编辑);帕斯莫尔,格兰特·O(编辑);尤瑟夫,阿布杜(编辑):智能计算机数学。第11届国际会议,2018年8月13日至17日,奥地利哈根堡,CICM 2018。会议记录(2018)
  10. Carter,Nathan C.;Monks,Kenneth G.:基于web的语义数学字处理应用工具包(2017)
  11. Michael Kohlhase;De Feo,Luca;Müller,Dennis;Pfeiffer,Markus;Rabe,Florian;Thiry,Nicolas M.;Vasilyev,Victor;Wiesing,Tom:《数学软件系统的基于知识的互操作性》(2017)
  12. Kohlhase,Michael;Koprucki,Thomas;Müller,Dennis;Tabelow,Karsten:通过flexiformal理论图作为研究数据的数学模型(2017年)
  13. Kohlhase,Michael;Sperber,Wolfram:软件引文、信息系统及其他(2017)
  14. Müller,Dennis;Gauthier,Thibault;Kaliszyk,Cezary;Kohlhase,Michael;Rabe,Florian:形式数学系统概念之间对齐的分类(2017)
  15. 如何识别、翻译和组合逻辑?(2017年)
  16. Tom Wiesing;Kohlhase,Michael;Rabe,Florian:《虚拟理论——数学知识库的统一接口》(2017)
  17. 保罗·奥利维尔(Paul Olivier)德哈伊(Dehaye)、米涅亚(Mihnea)伊安库(Iancu)、迈克尔·科哈塞(Kohlhase)、亚历山大·科诺瓦洛夫(Konovalov)、塞缪尔·莱利夫(Lelièvre)、丹尼斯·穆勒(Müller)、马库斯(Markus)普费弗(Pfeiffer)、弗洛里安(Florian)、蒂里(Thiéry)、尼古拉斯·M.;汤姆·威辛(Wiesing),汤姆:《Open
  18. 《面向本体论》的《术语学》;康斯坦博伊恩(Michael-Ba-Yan)和《术语学》(Total-Togram-Ba-Se);康斯坦德科伊安(Michae-Ba-Yan);面向本体论的米哈涅夫(Michae-Ba-Yan);面向本体论的米哈涅夫(Michae-Ba-Yan);面向本体论的米哈涅夫(Michae-Ba-Yan);面向本体论的米哈涅夫(Michae-Ba-Yan);米尔
  19. Kohlhase,Michael;Rabe,Florian:QED重新加载:走向多元形式的数学知识库(2016)
  20. 弗洛里安·拉贝:《逻辑的未来:基金会独立》(2016)