From 153ba6424395655aa724a42286619586ade986ca Mon Sep 17 00:00:00 2001 From: Michael Kohlhase <m.kohlhase@jacobs-university.de> Date: Sat, 6 May 2017 16:03:28 +0200 Subject: [PATCH] lots of former projects --- systems/TNTBase.md | 10 ++++++++++ systems/cpoint.md | 9 +++++++++ systems/jomdoc.md | 10 ++++++++++ systems/kat.md | 8 ++++++++ systems/krextor.md | 9 +++++++++ systems/openmathmap.md | 11 +++++++++++ systems/swim.md | 9 +++++++++ 7 files changed, 66 insertions(+) create mode 100644 systems/TNTBase.md create mode 100644 systems/cpoint.md create mode 100644 systems/jomdoc.md create mode 100644 systems/kat.md create mode 100644 systems/krextor.md create mode 100644 systems/openmathmap.md create mode 100644 systems/swim.md diff --git a/systems/TNTBase.md b/systems/TNTBase.md new file mode 100644 index 0000000..78d9c20 --- /dev/null +++ b/systems/TNTBase.md @@ -0,0 +1,10 @@ +--- +layout: system +menu_title: TNTBase +title: TNTBase +teaser: A Versioned Storage for Mathematics (OMDoc) +start: 2009-09 +end: 2012-08 +people: mkohlhase,vzholudev +--- +TNTBase is a database which is optimized for storing mathematical documents in OMDoc format. It is based on Subversion and Berkeley DB XML. diff --git a/systems/cpoint.md b/systems/cpoint.md new file mode 100644 index 0000000..493003b --- /dev/null +++ b/systems/cpoint.md @@ -0,0 +1,9 @@ +--- +layout: system +menu_title: CPoint +title: CPoint +teaser: Adding a semantic layer to MS PowerPoint. +start: 2001-07 +end: 2008-04 +people: akohlhase +--- diff --git a/systems/jomdoc.md b/systems/jomdoc.md new file mode 100644 index 0000000..a1c5456 --- /dev/null +++ b/systems/jomdoc.md @@ -0,0 +1,10 @@ +--- +layout: system +menu_title: JOMDoc +title: JOMDoc +teaser: A Java API for OMDoc documents. +start: 2007-09 +end: 2013-12 +people: mkohlhase,nmueller +--- +JOMDoc is Java API for OMDoc documents that facilitates the parsing of OMDoc XML documents into a Java data structure, to manipulate them conveniently, and to serialize the result back to XML. The functionality of this library will be superseded by the MMT API in the near future. diff --git a/systems/kat.md b/systems/kat.md new file mode 100644 index 0000000..7ce2338 --- /dev/null +++ b/systems/kat.md @@ -0,0 +1,8 @@ +--- +layout: system +menu_title: KAT +title: KAT: An Annotation Tool for STEM Documents +start: 2013-06 +people: twiesing +--- +KAT is an annotation-ontology independent annotation tool for HTML5 documents. It can even annotate MathML. diff --git a/systems/krextor.md b/systems/krextor.md new file mode 100644 index 0000000..17cb8a2 --- /dev/null +++ b/systems/krextor.md @@ -0,0 +1,9 @@ +--- +layout: system +menu_title: Krextor +title: Krextor +start: 2008-02 +end: 2010-09 +people: clange +--- +Krextor, the ​KWARC RDF Extractor, is an extensible XSLT-based framework for extracting RDF from XML, supporting multiple input languages as well as multiple output RDF notations. See diff --git a/systems/openmathmap.md b/systems/openmathmap.md new file mode 100644 index 0000000..8b9f240 --- /dev/null +++ b/systems/openmathmap.md @@ -0,0 +1,11 @@ +--- +layout: system +menu_title: OpenMathMap +title: OpenMathMap +teaser: A Map of Mathematics +start: 2013-06 +repository: https://github.com/KWARC/openmathmap/ +homepage: http://map.mathweb.org +people: mkohlhase +--- +OpenMathMap project, a recognizable, interactive map of mathematical areas from the MSC an Zentralblatt Publication Data. diff --git a/systems/swim.md b/systems/swim.md new file mode 100644 index 0000000..84b9b38 --- /dev/null +++ b/systems/swim.md @@ -0,0 +1,9 @@ +--- +layout: system +menu_title: SWIM +title: "SWiM: Semantic Wiki for Mathematics" +start: 2006-08 +end: 2009-06 +people: mkohlhase,clange +--- +SWIM is a Semantic Wiki for Interactive Mathematics. The system has been superseded by [MathHub](/systems/mathhub/). -- GitLab