百万吨

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

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换

zbMATH中的参考文献（参考文献49条,1标准件)

显示第1到第20个结果，共49个。
按年份排序(引用)
  1. 卡莱特，雅克；农民，威廉M。；科哈塞，迈克尔；拉贝，弗洛里安：大数学和一个脑屏障：数学知识的四足模型（2021）
  2. 科哈塞，迈克尔；拉贝，弗洛里安：出口主要证据助理图书馆的经验（2021年）
  3. 亚历西，法比奥；阿尔伯托，齐亚法格利恩；迪吉纳托尼奥，皮埃特罗；弘塞尔，福里奥；莱尼萨，玛丽娜；斯加涅托，伊万：（\mathrmLF^+）in\texttcoq for fast and loose reasoning（2019年）
  4. 阿曼，凯；科哈塞，迈克尔；拉贝，弗洛里安；Wiesing，Tom:整合语义数学文档和动态笔记本（2019）
  5. 高蒂埃，蒂堡；Kaliszyk，Cezary:跨校对助理库调整概念（2019）
  6. 吉迪，费鲁乔；萨尔多蒂·科恩，克劳迪奥；Tassi，Enrico:在高阶约束逻辑编程中实现类型理论（2019）
  7. 卡利斯齐克，塞扎里（编辑）；布雷迪，埃德温（编辑）；科哈塞，安德里亚（编辑）；萨尔多蒂·科恩，克劳迪奥（编）：智能计算机数学。第12届国际会议，CICM 2019，捷克共和国布拉格，2019年7月8日至12日。会议记录（2019年）
  8. 拉贝，弗洛里安；Müller，Dennis:Structuring theory with隐式语素（2019）
  9. 拉贝，弗洛里安；Sharoda，Yasmine:MMT中的组合图（2019）
  10. 比岑达尔，乔纳斯；Kohlhase，Michael:将IMPS理论库翻译为MMT/OMDoc（2018）
  11. 拉贝，弗洛里安：模块化类型重建算法（2018）
  12. 拉贝，弗洛里安（编辑）；农民，威廉M.（编辑）；帕斯莫尔，格兰特O.（编辑）；尤瑟夫（编）：智能计算机数学。第11届国际会议，2018年8月13日至17日，奥地利哈根堡，CICM 2018。会议记录（2018）
  13. 卡特，内森·C。；Monks，Kenneth G.：基于web的语义数学字处理应用工具包（2017）
  14. 科哈塞，迈克尔；德菲奥，卢卡；米勒，丹尼斯；普菲弗，马库斯；拉贝，弗洛里安；蒂里，尼古拉斯M。；瓦西里耶夫，维克托；Wiesing，Tom:数学软件系统的基于知识的互操作性（2017）
  15. 科哈塞，迈克尔；科普鲁基，托马斯；米勒，丹尼斯；Tabelow，Karsten:通过flexiformal理论图作为研究数据的数学模型（2017）
  16. 科哈塞，迈克尔；Sperber，Wolfram:软件引文、信息系统及其他（2017）
  17. 米勒，丹尼斯；高蒂埃，蒂堡；卡利斯齐克，塞扎里；科哈塞，迈克尔；拉贝，弗洛里安：形式数学系统概念之间的对齐分类（2017）
  18. 如何识别、翻译和组合逻辑？（2017年）
  19. 威辛，汤姆；科哈塞，迈克尔；拉贝，弗洛里安：虚拟理论——数学知识库的统一接口（2017）
  20. 德哈伊，保罗·奥利维尔；安库，米娜；科哈塞，迈克尔；科诺瓦洛夫，亚历山大；列利弗，塞缪尔；米勒，丹尼斯；普菲弗，马库斯；拉贝，弗洛里安；蒂里，尼古拉斯M。；Tom Wiesing：《OpenDreamKit项目中的互操作性：中间的数学方法》（2016）