From ea734e65256cbfb5978a7f23a133a6359a2b105d Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <m.kohlhase@jacobs-university.de>
Date: Sat, 24 Jun 2017 10:53:57 +0200
Subject: [PATCH] adding teasers
---
projects/meta/index.md | 2 +-
systems/arXMLiv.md | 5 +++--
systems/kat.md | 7 +++++--
systems/llamapun.md | 1 +
systems/smglom.md | 6 ++++--
5 files changed, 14 insertions(+), 7 deletions(-)
diff --git a/projects/meta/index.md b/projects/meta/index.md
index 2cc0649..4aa5479 100644
--- a/projects/meta/index.md
+++ b/projects/meta/index.md
@@ -7,7 +7,7 @@ permalink: /projects/
{% assign projects = site.pages | where: "layout", "project" | where: "active", true | sort: "start_date" %}
This page lists the projects of the KWARC group with current, external funding
-([completed projects](../completed). Projects we engage in without funding can be found
+([completed projects](../completed)). Projects we engage in without funding can be found
under [KWARC Systems](../../systems/).
<ul class="collection">
diff --git a/systems/arXMLiv.md b/systems/arXMLiv.md
index 129a8b6..97d2ce1 100644
--- a/systems/arXMLiv.md
+++ b/systems/arXMLiv.md
@@ -2,14 +2,15 @@
layout: system
title: arXMLiv
-
+teaser: Translating the arXiv to XML/HTML5
start_date: '2006'
people:
- mkohlhase
- dginev
-website: http://arxiv.org
+website: http://cortex.mathweb.info
+repository: https://github.com/dginev/CorTeX
---
The [Cornell e-print arXiv](http://arxiv.org) contains one of the largest corpora of scientific literature in the world. Unfortunately, its contents are locked up in the TeX/LaTeX format, which makes it nearly useless for knowledge management techniques. We translate it to XML to have a basis for uncovering it's structural semantics.
diff --git a/systems/kat.md b/systems/kat.md
index a636b38..7750b5c 100644
--- a/systems/kat.md
+++ b/systems/kat.md
@@ -1,14 +1,17 @@
---
layout: system
-title: "KAT: An Annotation Tool for STEM Documents"
+title: "KAT: KWARC Annotation Tool"
+teaser: An Annotation Tool for STEM Documents
start_date: 2013-06
people:
+ - mkohlhase
- twiesing
repository: https://github.com/KWARC/KAT
---
-KAT is an annotation-ontology independent annotation tool for HTML5 documents. It can even annotate MathML.
+KAT is an annotation-ontology independent annotation tool for HTML5 documents. It can
+even annotate MathML. We use it for maths corpus linguistics.
diff --git a/systems/llamapun.md b/systems/llamapun.md
index 5916d49..a5f31af 100644
--- a/systems/llamapun.md
+++ b/systems/llamapun.md
@@ -2,6 +2,7 @@
layout: system
title: "LLaMaPuN: Language and Mathematics Processing and Understanding"
+teaser: A RUST library for math corpus linguistics.
start_date: 2008-11
diff --git a/systems/smglom.md b/systems/smglom.md
index badc559..766820d 100644
--- a/systems/smglom.md
+++ b/systems/smglom.md
@@ -1,7 +1,8 @@
---
layout: system
-title: "The Semantic, Multilingual Glossary of Mathematics"
+title: "SMGLoM; The Semantic, Multilingual Glossary of Mathematics"
+teaser: A terminological resource for Mathematics.
start_date: 2013-11
@@ -9,4 +10,5 @@ people:
- mkohlhase
- cjucovschi
- miancu
----
\ No newline at end of file
+---
+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).
--
GitLab