蒙脱土

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

本软件关键词

这里的任何东西都将在支持画布元素的浏览器上被替换。

ZBMaX中的参考文献（46篇）1标准条款）

显示结果1至20的46。
按年份排序（引文）
  1. Alessi，法比奥；CiffaGriOne，阿尔伯托；迪吉安东尼奥，彼得洛；HunSurl，Furio；LeISA，Murina；SigaNETTO，伊凡：（\ MaTrMFL^ +）在TexTtToCo中的快速和松散推理（2019）
  2. 阿曼，凯；科尔哈斯，米迦勒；拉贝，弗洛里安；维辛，汤姆：语义数学文献与动态笔记本的整合（2019）
  3. 高蒂尔，TiBault，Kalasyyk，CeZaLe:在证明辅助图书馆上排列概念（2019）
  4. 圭迪，费卢西奥；Sacerdoti Coen，克劳迪奥；塔西，恩里科：高阶约束逻辑程序设计中的实现类型理论（2019）
  5. KaliZyk，Cezary（ED）；Brady，埃德温（ED）；KHLHASE，安德列（ED）；Sacerdoti Coen，克劳迪奥（ED.）：智能计算机数学。第十二届国际会议，CICM 2019，布拉格，捷克共和国，7月8日- 12, 2019。诉讼（2019）
  6. Rabe，弗洛里安；Sharoda，Yasmine：MMT中的图组合器（2019）
  7. Betzendahl、乔纳斯、Kohlhase、米迦勒：将IMPS理论库翻译成MMT/OMDOC（2018）
  8. Rabe，弗洛里安：模块化重构算法（2018）
  9. Rabe，弗洛里安（ED）；农民，William M.（ED）；PASSMOR，Grant O.（ED）；Youssef，Abdou（ED）：智能计算机数学。第十一届国际会议，CICM 2018，Hagenberg，奥地利，8月13日- 17, 2018。诉讼（2018）
  10. 卡特，Nathan C.；蒙克斯，Kenneth G.：一个基于语义的数学文字处理应用程序的Web工具包（2017）
  11. Kohlhase，米迦勒；De Feo，卢卡；Mü勒勒，丹尼斯；菲佛，Markus；Rabe，Pig；Tye'Ry；Vielyv，ViTor；WieSein，Y:数学软件系统的基于知识的互操作性（2017）
  12. Kohlhase，米迦勒；科普鲁基，托马斯；米勒，丹尼斯；Tabelow，卡斯滕：数学模型作为研究数据的柔性形式理论图（2017）
  13. Kohlhase，米迦勒；斯珀伯，沃尔夫拉姆：软件引用，信息系统，及超越（2017）
  14. M·勒勒，丹尼斯；高蒂尔，蒂鲍特；卡利斯克，Cezary；Kohlhase，米迦勒；拉贝，弗洛里安：形式数学系统概念之间的排列分类（2017）
  15. Rabe，弗洛里安：如何识别、翻译和组合逻辑？（2017）
  16. Wiesing、汤姆、科尔哈斯、米迦勒、拉贝、弗洛里安：虚拟理论——数学知识库的统一界面（2017）
  17. Dehaye、Paul Olivier、IANCU、Mihnea、Kohlhase、米迦勒、Konovalov、亚力山大、Leli、M、üle、y、y、rabe、y、thi、y、WieSe、Y:OpDeReAMKIT项目中的互操作性：中间方法中的数学（2016）
  18. Ginev，Deyan；IANCU，Mihnea；Jucovshi，康熙，安德列；科尔哈斯，米迦勒；奥利波夫，阿克巴；Schefter，JurrGEN；SphBER，WofLRAM；TexChee，奥拉夫；WiSein，Fiel:SmiGLM项目和系统：面向数学术语和本体论（2016）
  19. Kohlhase，米迦勒；拉贝，弗洛里安：QED重装：走向多元形式的数学知识库（2016）
  20. 拉贝，弗洛里安：逻辑的未来：基础独立（2016）