TNTBase: a versioned storage for XML. TNTBase is an open-source versioned storage for XML and a bit more. It is licensed under Apache 2.0 license that can be found here or in any TNTBase source distribution. TNTBase supports versioning in the Subversion-compatible way. It is based on the two powerful systems, namely Subversion and Berkeley DB XML, that allows us to get a good basis (i.e. powerful versioning and efficient storing and working with XML) for a Deep Web for XML.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element

References in zbMATH (referenced in 13 articles )

Showing results 1 to 13 of 13.
Sorted by year (citations)

  1. Iancu, Mihnea; Kohlhase, Michael; Rabe, Florian; Urban, Josef: The Mizar Mathematical Library in OMDoc: translation and applications (2013)
  2. Rabe, Florian; Kohlhase, Michael: A scalable module system (2013)
  3. Codescu, Mihai; Horozal, Fulya; Kohlhase, Michael; Mossakowski, Till; Rabe, Florian: A proof theoretic interpretation of model theoretic hiding (2012)
  4. Rabe, Florian: A query language for formal mathematical libraries (2012)
  5. Autexier, Serge; David, Catalin; Dietrich, Dominik; Kohlhase, Michael; Zholudev, Vyacheslav: Workflows for the management of change in science, technologies, engineering and mathematics (2011)
  6. Codescu, Mihai; Horozal, Fulya; Kohlhase, Michael; Mossakowski, Till; Rabe, Florian: Project abstract: logic atlas and integrator (LATIN) (2011)
  7. Horozal, Fulya; Iacob, Alin; Jucovschi, Constantin; Kohlhase, Michael; Rabe, Florian: Combining source, content, presentation, narration, and relational representation (2011)
  8. Lange, Christoph: Enabling collaboration on semiformal mathematical knowledge by semantic web integration (2011)
  9. Rabe, Florian; Kohlhase, Michael; Sacerdoti Coen, Claudio: A foundational view on integration problems (2011)
  10. Jucovschi, Constantin; Kohlhase, Michael: STEXIDE: an integrated development environment for STEX collections (2010)
  11. Kohlhase, Michael; Rabe, Florian; Zholudev, Vyacheslav: Towards MKM in the large: modular representation and scalable software architecture (2010)
  12. Giceva, Jana; Lange, Christoph; Rabe, Florian: Integrating web services into active mathematical documents (2009)
  13. Lange, Christoph; Kohlhase, Michael: A mathematical approach to ontology authoring and documentation (2009)

Further publications can be found at: