TNT基地

TNTBase:XML的版本化存储。TNTBase是一个开放源码的XML版本化存储。它是根据Apache2.0许可证授权的,可以在这里或任何TNTBase源代码发行版中找到它。TNTBase以与Subversion兼容的方式支持版本控制。它基于两个强大的系统,即Subversion和Berkeley DB-XML,这使我们能够为deepweb for XML打下良好的基础(即强大的版本控制、高效的存储和使用XML)。

此软件的关键字

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


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

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

  1. Carette,Jacques;Farmer,William M.;Kohlhase,Michael:《领域:巩固数学理论知识的结构》(2014)
  2. 米涅亚(Mihnea)的安库(Iancu);迈克尔(Michael)的科哈塞(Kohlhase);弗洛里安(Florian)的拉贝(Rabe);约瑟夫(Josef)的厄本(Urban),约瑟夫(Josef):OMDoc的米扎尔数学图书馆:翻译与应用(2013)
  3. 拉贝,弗洛里安:MMT API:通用MKM系统(2013)
  4. 拉贝,弗洛里安;科哈塞,迈克尔:一个可扩展的模块系统(2013)
  5. Codescu,Mihai;Horozal,Fulya;Kohlhase,Michael;Mossakowski,Till;Rabe,Florian:模型理论隐藏的证明理论解释(2012)
  6. 拉贝,弗洛里安:正式数学图书馆的查询语言(2012)
  7. 《科学与管理学》杂志,2011年;迈克尔·霍尔茨拉夫《科学与管理》杂志;大卫·霍尔茨拉夫《科学与管理》杂志;迈克尔·霍尔茨拉夫《科学与管理学》杂志;大卫·霍尔茨拉夫《管理学》杂志,2011年
  8. Codescu,Mihai;Horozal,Fulya;Kohlhase,Michael;Mossakowski,Till;Rabe,Florian:项目摘要:逻辑图集和集成器(拉丁语)(2011年)
  9. Horozal,Fulya;Iacob,Alin;Jucovschi,Constantin;Kohlhase,Michael;Rabe,Florian:结合来源、内容、呈现、叙述和关系表示(2011)
  10. Lange,Christoph:通过语义web集成实现半形式数学知识的协作(2011)
  11. 拉贝,弗洛里安;科哈塞,迈克尔;萨尔多蒂科恩,克劳迪奥:关于集成问题的基础观点(2011)
  12. Jucovschi,Constantin;Kohlhase,Michael:STEXIDE:STEX collections的集成开发环境(2010)
  13. Kohlhase,Michael;Rabe,Florian;Zholudev,Vyacheslav:面向大型的MKM:模块化表示和可伸缩软件体系结构(2010)ioport公司
  14. Kohlhase,Michael;Rabe,Florian;Zholudev,Vyacheslav:面向大型的MKM:模块化表示和可伸缩软件体系结构(2010)
  15. Giceva,Jana;Lange,Christoph;Rabe,Florian:将web服务集成到活动数学文档中(2009)
  16. Lange,Christoph;Kohlhase,Michael:本体论创作和文档的数学方法(2009)


更多出版物请访问:http://tntbase.org/wiki/pubs