蒙脱土

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)