new

projects/llamapun.md

+---
+layout: project
+menu_title: LLaMaPuN
+title: LLaMaPuN: Language and Mathematics Processing and Understanding 
+pillar: semantization
+start: 2008-11
+people: mkohlhase,dginev,jfschaefer,itoloacaa
+---
+The LaMaPUn project investigates the structure and meaning of scientific/technical
+documents and builds 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. Its repository is at https://github.com/KWARC/LLaMaPUn/
+

projects/sTeX.md

+---
+layout: project
+menu_title: sTeX
+title: sTeX: Semantic Markup for LaTeX
+pillar: semantization
+start: 2004-09
+people: mkohlhase,dginev
+---
+The TeX/LaTeX workflow is deeply embedded into mathematical practice. Therefore the sTeX
+system allows to embed [/structural semantics](/research/structural-semantics) into documents. For details see the [sTeX project on GitHub](https://github.com/KWARC/sTeX).
+