systems/llamapun.md

 ---
 layout: system
 
-title: "LLaMaPuN: Language and Mathematics Processing and Understanding" 
+title: "LLaMaPuN: Language and Mathematics Processing and Understanding"
+shorttitle: LLaMaPuN
 teaser: A RUST library for math corpus linguistics.
 
 start_date: 2008-11
@@ -12,13 +13,29 @@ people:
     - jfschaefer
     - itoloaca
 
+supported-by:
+    - mathsearch
+
+logo: public/kwarc_logo.svg
 repository: https://github.com/KWARC/LLaMaPUn/
+publink: http://kwarc.github.io/bibs/llamapun
 ---
 
-The LaMaPUn project investigates the structure and meaning of scientific/technical
-documents and builds tools for extracting semantic representations from them that can be
+The [LLaMaPUn library](https://github.com/KWARC/LLaMaPUn/) is a
+[RUST](https://www.rust-lang.org) library that provides a wide range of processing
+tools for natural language and mathematics.
+It can be used to investigate the structure and meaning of scientific/technical
+documents and to build tools for extracting semantic representations from them that can be
 used to enhance access to and interaction with document corpora.
 
-The LLaMaPUn library consists of a wide range of processing tools for natural language and
-mathematics. 
+In particular, the LLaMaPUn library is used on the
+[arXMLiv](https://www.kwarc.info/projects/arXMLiv/) data set, which is a translation
+of the [arxiv](https://arxiv.org/) corpus to "HTML5 with [MathML](https://www.w3.org/TR/MathML/)".
+
+Some of the library's features are:
+ * Plaintext generation with many options (unicode normalization, word stemming, custom handling of e.g. `math` nodes, ...)
+ * Word/Sentence tokenization
+ * Support for standard NLP tools (token models for GloVe, POS tagging with SENNA, ...)
+ * Mapping between plaintext offsets and HTML nodes (using the DNM data structure)
 
+For a more complete overview, take a look at the [README file](https://github.com/KWARC/llamapun/blob/master/README.md).

systems/mathhub.md

 ---
 layout: system
 
-title: MathHub
+title: MathHub.info
+shorttitle: MathHub
 teaser: A portal for active mathematical documents and an archive for flexiformal mathematics.
 
 start_date: 2008-08
@@ -10,9 +11,32 @@ people:
     - mkohlhase
     - akohlhase
     - cjucovschi
+    - twiesing
+    - kbercic
 
+supported-by:
+    - mathsearch
+    - oaf
+    - odk
+    - latin
+    - mdh
+
+logo: public/mathHubLogo.png
 website: http://mathhub.info
 repository: https://github.com/KWARC/mathhub
+publink: http://kwarc.github.io/bibs/mathhub
 ---
 
-MathHub.info is a portal for active mathematical documents and an archive for flexiformal mathematics. It offers a rich interface for reading, writing, and interacting with mathematical documents and knowledge 
+[MathHub.info](http://mathhub.info) is a portal for active mathematical documents and an
+archive for flexiformal mathematics. It offers a rich interface for reading, writing, and
+interacting with mathematical documents and knowledge.
+
+The [MathHub.info](http://mathhub.info) system consists of a
+
+* [repository manager](http://gl.mathhub.info) for mathematical archives based on [GitLab](http://gitlab.com) that handles user management, access control, and versioning. 
+* [knowledge management process](https://mmt.mathhub.info) based on the [MMT System](http://uniformal.github.io) that provides scalable knowledge management services and math presentation.
+* various indices and data stores including [MathWebSearch](/systems/mws/).
+* a web front end compositor that combines these into a uniform web experience. 
+* some special applications like a [multilingual glossary](https://mathhub.info/mh/glossary) and a [math dictionary](https://mathhub.info/mh/dictionary) based on the [SMGloM](/systems/smglom/) data set.
+
+[MathHub.info](http://mathhub.info) serves as the main data repository for the [OAF](/projects/oaf) and [SMGloM](/systems/smglom/) projects and (the KWARC part of the [OpenDreamKit](/projets/odk/) project. 

systems/meta/README.md

@@ -9,8 +9,11 @@ Each post needs some specific parameters:
  * **layout** use `system`
  
  * **title** the title of the system
+ * **shorttitle** the short title of the system, used for System Chips
  * **teaser** (optional) a one-line description for the overview
 
+ * **logo** (optional) a (local) path to the logo of a system
+
  * **start_date** the system start date (YYYY[-MM])
  * **end_date** (optional) the system end date (YYYY[-MM])
 

systems/meta/historic.md

@@ -10,12 +10,12 @@ semantic wiki, mathematical web services, and invasive OMDoc editing
 technologies. Furthermore, the group works on the utilization of OMDoc to provide Logic
 Interoperability and to establish scientific Communities of Practice.
  
-{% assign systems = site.pages | where: "layout", "system" | sort: "pillar" | sort: "start_date" %}
+{% assign systems = site.pages | where: "layout", "system" | sort: "start_date" %}
 
 <ul class="collection">
     {% for item in systems %}
         {% if item.end_date %}
-            {% include psitem.html %}
+            {% include psitem.html item=item %}
         {% endif %}
     {% endfor %}
 </ul>
\ No newline at end of file

systems/meta/index.md

 ---
 layout: default
-title: Systems
+title: Systems and Libraries
 permalink: /systems/
 ---
 
@@ -9,7 +9,7 @@ permalink: /systems/
 <ul class="collection">
     {% for item in systems %}
         {% unless item.end_date %}
-            {% include psitem.html %}
+            {% include psitem.html item=item %}
         {% endunless %}
     {% endfor %}
-</ul>
\ No newline at end of file
+</ul>

systems/meta/orphans.md

+---
+layout: page
+title: Orphaned Systems up for Adoption
+permalink: /systems/orphans/
+---
+
+Many of the KWARC projects are the work of students and become orphaned when these move on
+to greener pastures (e.g. when they graduate). We put these systems up for adoption bt new
+students. If you are interested, please contact someone from the KWARC group, we would be
+happy to help you understand the development opportunities and get involved. 
+
+{% assign systems = site.pages | where: "layout", "system" | sort: "start_date" %}
+
+<ul class="collection">
+    {% for item in systems %}
+        {% if item.orphan %}
+            {% include psitem.html item=item %}
+        {% endif %}
+    {% endfor %}
+</ul>
\ No newline at end of file

systems/mmt.md

 ---
 layout: system
 
-title: "MMT: Meta Meta Theories/Meta Meta Tool"
+title: "MMT"
+shorttitle: MMT
 teaser: A framework for representing declarative languages such as logics, type theories, set theories, etc.. The MMT API implements complex algorithms generically for any language in the framework.
 
 start_date: 2011-03
@@ -12,13 +13,17 @@ people:
     - twiesing
     - miancu
     - fhorozal
+    - mkohlhase
+    - nroux
 
 supported-by:
     - oaf
-    - okd
+    - odk
     - latin
     - mathsearch
 
+logo: public/mmt_logo.svg
+publink: http://kwarc.github.io/bibs/mmt
 website: https://uniformal.github.io/
 repository: https://github.com/Uniformal/MMT
 ---

systems/mws.md

@@ -2,22 +2,44 @@
 layout: system
 
 menu_title: MathWebSearch
+shorttitle: MWS
 title: MathWebSearch
 teaser: A Mathematical Search Engine
 
 start_date: '2005'
-
+orphan: true
 people: 
     - mkohlhase
     - isucan
     - cprodescu
     - rhambasan
     - ahambasan
+    - twiesing
+supported-by:
+    - mathsearch
+    - odk
+    - oaf
 
+<!-- logo: public/kwarc_logo.svg -->
 website: http://search.mathweb.org
-repository: http://githhub.com/KWARC/mws
+repository: https://github.com/MathWebSearch
+publink: http://kwarc.github.io/bibs/mws
 ---
 
 The MathWebSearch system (MWS) is a content-based search engine for mathematical
 formulae. It indexes MathML formulae, using a technique derived from automated theorem
-proving: Substitution Tree Indexing. 
+proving: Substitution Tree Indexing. With this indexing technique MWS can answer
+unification queries extremely efficiently (30-100 ms) on large sets of formulae (in the
+Gigaformula range); but the index (up to 50GiB) needs to be kept in main memory.
+
+MWS is the [formula search engine](https://zbmath.org/formulae/) employed in
+[Zentralblatt Math](http://zbmath.org); see a
+[demo on a mathematical subset](http://arxivsearch.mathweb.org) of the
+[arXMLiv data set](/projects/arXMLiv/) [further demos](http://search.mathweb.org).
+
+The MathWebSearch system is Open Source,
+[developed on GitHub](https://github.com/MathWebSearch), and is (by now) easily deployable via
+a set of docker containers. We can give your project a search interface like the
+[nLab search](https://nlabsearch.mathweb.org/) for [nLab](https://ncatlab.org/) at the
+cost of theming the [user interface](https://github.com/MathWebSearch/frontend) and
+[building a harvester](https://github.com/MathWebSearch/nlab_harvester).

systems/omdoc.md

@@ -2,15 +2,36 @@
 layout: system
 
 title: "OMDoc: Open Mathematical Documents"
-teaser: A markup format and data model for Open Mathematical Documents. It serves as semantics-oriented representation format and ontology language for mathematical knowledge.
+shorttitle: OMDoc
+teaser: A markup format and data model for Open Mathematical Documents and Knowledge
 
 start_date: '1998'
 
 people: 
     - mkohlhase
+    - miancu
+    -  nmueller
+    - frabe
 
+supported-by:
+    - Jem
+    - mathsearch
+    - omoc
+    - openmath-tn
+    - logosphere
+    - once-cs
+
+logo: public/omdoc_logo.png
 website: http://omdoc.org
 repository: https://github.com/OMDoc
+publink: http://kwarc.github.io/bibs/omdoc
 ---
 
-OMDoc is a markup format and data model for Open Mathematical Documents. It serves as semantics-oriented representation format and ontology language for mathematical knowledge.
+OMDoc is a markup format and data model for Open Mathematical Documents. It serves as
+semantics-oriented representation format and ontology language for mathematical
+knowledge. The formal part of OMDoc has been refined into the
+[MMT format](https://uniformal.github.com), and we use the
+[MMT System](https://uniformal.github.com) as the reference implementation.
+
+We are currently working on extending MMT to cover the full flexiformal coverage of
+OMDoc. 

systems/openmathmap.md

@@ -2,14 +2,19 @@
 layout: system
 
 title: OpenMathMap
+shorttitle: OpenMathMap
 teaser: A Map of Mathematics
 
 start_date: 2013-06 
 end_date: 2015-06 
+orphan: true
 
 people:
     - mkohlhase
 
+supported-by:
+    - mathsearch
+logo: public/kwarc_logo.svg
 website: http://map.mathweb.org
 repository: https://github.com/KWARC/openmathmap/
 ---

systems/sTeX.md

@@ -2,16 +2,40 @@
 layout: system
 
 title: "sTeX: Semantic Markup for LaTeX"
+shorttitle: sTeX
 
 start_date: 2004-09
 
 people: 
     - mkohlhase
     - dginev
+    - twiesing
+collaborators:
+    - Dr. Bruce Miller (NIST)	
 
+supported-by:
+    - sissi
+    - mathsearch
+    - odk
+
+logo: public/kwarc_logo.svg
 repository: https://github.com/KWARC/sTeX
+publink: http://kwarc.github.io/bibs/sTeX
 ---
 
 The TeX/LaTeX workflow is deeply embedded into mathematical practice. Therefore the sTeX
-system allows to embed [/structural semantics](/research/structural-semantics) into documents. 
+system allows to embed [/structural semantics](/research/structural-semantics) into
+documents. Concretely sTeX is a "semantic version of LaTeX" that allows to use special
+macros to encode mathematical meaning explicitly. This is (largely ignored in PDF
+generation), but can be taken into account when generating [OMDoc-based](/systems/omdoc/) active documents.
+
+## Resources
+* [sTeX at GitHub](https://github.com/KWARC/sTeX) and the corresponding
+[LaTeXML](http://dlmf.nist.gov/LaTeXML/)
+[plugin for sTeX](https://github.com/KWARC/LaTeXML-Plugin-sTeX)
+* Some sTeX-based libraries of active doucents on [MathHub.info](http://mathhub.info): [SMGloM](https://mathhub.info/smglom), [active course notes](https://mathhub.info/MiKoMH).  
+* Their sources can be found here: [SMGloM](https://gl.mathhub.info/smglom), [active course notes](https://gl.mathhub.info/MiKoMH).  
 
+## Documentation/Papers
+* M. Kohlhase (2008) [*Using LaTeX as a semantic markup format*](https://kwarc.info/kohlhase/papers/mcs08-stex.pdf). Mathematics in Computer Science 2 (2), pp. 279–304
+* ... [complete bibliography](http://kwarc.github.io/bibs/sTeX)

systems/sally.md

@@ -2,14 +2,25 @@
 layout: system
 
 title: Semantic Alliance
+shorttitle: Sally
 teaser: A framework for mashing up semantic services into desktop applications.
 
 start_date: 2013-02
+start_date: 2016-08
+orphan: true
 
 people: 
     - mkohlhase
     - akohlhase
     - cjucovschi
 
+supported-by:
+    - sissi
+    - FormalCAD
+
+logo: public/kwarc_logo.svg
 repository: https://github.com/KWARC/Sally
+publink: http://kwarc.github.io/bibs/sally
 ---
+A distributed framework for mashing up semantic services into desktop applications.
+

systems/smglom.md

 ---
 layout: system
 
-title: "SMGLoM; The Semantic, Multilingual Glossary of Mathematics"
-teaser: A terminological resource for Mathematics. 
-
+title: "SMGLoM - A Semantic, Multilingual Glossary of Mathematics"
+shorttitle: SMGLoM
+teaser: A terminological resource for Mathematics
 start_date: 2013-11
 
 people: 
     - mkohlhase
     - cjucovschi
     - miancu
+    - twiesing
+    - jfschaefer
+
+supported-by:
+    - mathsearch
+    - odk
+logo: public/kwarc_logo.svg
+publink: https://kwarc.github.io/bibs/smglom
 ---
-The SMGloM is a structured terminology for mathematics. It combines lexical information about the "Words of Mathematics" (in multiple languages) with semantic information about their dependencies. Multiple services can be derived from this terminology, e.g. a [classical glossary](https://mathhub.info/mh/glossary) and a [math dictionary](https://mathhub.info/mh/dictionary).
+The SMGloM is a structured terminology for mathematics. It combines lexical information about the "Words of Mathematics" (in multiple languages) with semantic information about their dependencies. Multiple services can be derived from this terminology, e.g. a [classical glossary](https://mathhub.info/applications/glossary) and a [math dictionary](https://mathhub.info/applications/dictionary).
+
+## Resources
+* [SMGloM at MathHub.info](https://mathhub.info/library/group?id=smglom)
+* [the SMGloM sources on gl.mathhub.info](https://gl.mathhub.info/smglom),
+  written in [sTeX](/systems/sTeX) (a semantic version of LaTeX)
+* a [generated dictionary](https://gl.mathhub.info/smglom/meta-inf/tree/master/applications/dictionary.en-de-ro-zhs.pdf)
+* various generated glossaries on the 
+  [SMGloM applications repository](https://gl.mathhub.info/smglom/meta-inf/tree/master/applications/) for
+  [English](https://gl.mathhub.info/smglom/meta-inf/tree/master/applications/glossary.en.pdf),
+  [German](https://gl.mathhub.info/smglom/meta-inf/tree/master/applications/glossary.de.pdf),
+  [Chinese (simplified)](https://gl.mathhub.info/smglom/meta-inf/tree/master/applications/glossary.zhs.pdf),
+  [Romanian](https://gl.mathhub.info/smglom/meta-inf/tree/master/applications/glossary.ro.pdf)
+
+## Papers
+* D. Ginev, M. Iancu, C. Jucovshi, A. Kohlhase, M. Kohlhase, A. Oripov, J. Schefter, W. Sperber, O. Teschke and T. Wiesing (2016) [The SMGloM project and system: towards a terminology and ontology for mathematics](https://kwarc.info/kohlhase/papers/icms16-smglom.pdf) ICMS 2016
+* M. Kohlhase (2014) [A data model and encoding for a semantic, multilingual terminology of mathematics](https://kwarc.info/kohlhase/papers/cicm14-smglom.pdf) CICM 2014
+* [complete bibliography](https://kwarc.github.io/bibs/smglom/)
+* [blue notes](https://gl.kwarc.info/smglom/blue): epsilon-baked ideas about how to continue

systems/swim.md

@@ -2,10 +2,13 @@
 layout: system
 
 title: "SWiM: Semantic Wiki for Mathematics"
+shorttitle: SWiM
 teaser: A Semantic Wiki for Interactive Mathematics.
 
 start_date: 2006-08
 end_date: 2009-06
+publink: http://kwarc.github.io/bibs/swim
+logo: public/kwarc_logo.svg
 
 people: 
     - clange

systems/tgview3d.md

+---
+layout: system
+
+menu_title: TGView3D
+shorttitle: TGView3D
+title: The TGView3D Graph Viewer
+teaser: An interactive 3D graph viewer optimized for visualizing Theory Graphs and mathematical knowledge in general
+
+start_date: '2018'
+
+people: 
+    - mkohlhase
+    - frabe
+    - dmueller
+    - rmarcus
+
+
+supported-by:
+    - odk
+
+website: https://tgview3d.mathhub.info/
+repository: https://github.com/UniFormal/tgview3d
+publink: https://kwarc.info/people/mkohlhase/submit/cicm20-tgview3D.pdf
+---
+The TGView3D System is a 3D-theory graph viewer in the Unity Engine.
+Different layouts and highlighting settings are available to visualize the complex theory graphs efficiently.
+In particular, this allows exploration of big mathematical libraries, e.g, those related to theorem provers like Coq or Isabelle.
+Furthermore, we have a virtual reality protoype to allow intuitive and immersive interactions.
+
+
+*For students*: Topics for theses and projects are available [here](https://gl.kwarc.info/kwarc/thesis-projects/-/issues?label_name%5B%5D=Graph+Visualization).
\ No newline at end of file