Skip to content
Snippets Groups Projects
Unverified Commit ad5cc975 authored by Tom Wiesing's avatar Tom Wiesing
Browse files

Fix warnings

parent f9f12e9e
No related branches found
No related tags found
No related merge requests found
---
layout: course
title: University Study Course - From the Textual to the Technological: Documents and Structure in a Digital Age
title: "University Study Course - From the Textual to the Technological: Documents and Structure in a Digital Age"
instructor:
- mkohlhase
- Dr. Giselda Baudin
- mkohlhase
- Dr. Giselda Baudin
organization: Jacobs University
semesters:
- Intersession 2014
---
An interdisciplinary Introduction to the structure and management of Text and Digial
Media.
Media.
......@@ -3,7 +3,7 @@ layout: course
title: Seminar Wissensrepräsentation und -verarbeitung
instructor:
- mkohlhase
- mkohlhase
semesters:
- SS17
......
......@@ -23,6 +23,6 @@ systems, bringing semantic web concepts in everyday desktop software (SiSsi).
### Research Focus
I am interested in representation of mathematics on the Internet, as well as User Interaction (UI) and eXperience (UX).
### Thesis Title
Semantic Alliance Framework: Integrating Documents and Semantic Service
......@@ -15,7 +15,7 @@ people:
- miancu
- cmaeder
- dmueller
funding: EU
program: Research Infrastructure
grantid: 676541
......
......@@ -10,7 +10,7 @@ start_date: '2011-12'
people:
- mkohlhase
- dmueller
- frabe
- frabe
---
The aim of the Tetrapod project is to produce tools for **trustworthy and efficient
......
......@@ -11,56 +11,56 @@ menu_order: 101
<tbody>
<tr>
<td colspan="3">
<span style="font-weight:bold">Applications</span>
eMath 3.0,
<a href="https://planetary.mathweb.org">Active Documents</a>,
<a href="https://trac.kwarc.info/sissi">Semantic Spreadsheets</a>,
<a href="https://trac.kwarc.info/FormalCAD">Semantic CAD/CAM</a>,
Semantic Help Systems, Change Mangagement, ...
<span style="font-weight:bold">Applications</span>
eMath 3.0,
<a href="https://planetary.mathweb.org">Active Documents</a>,
<a href="https://trac.kwarc.info/sissi">Semantic Spreadsheets</a>,
<a href="https://trac.kwarc.info/FormalCAD">Semantic CAD/CAM</a>,
Semantic Help Systems, Change Mangagement, ...
</td>
</tr>
<tr>
<td>
<span style="font-weight:bold">Foundations of Mathematics</span>
<ul>
<li><a href="https://omdoc.org">OMDoc</a></li>
<li>advanced Type Theories</li>
<li><a href="http://uniformal.github.io">MMT: Modular Math Theories</a></li>
<li><a href="http://trac.omodoc.org/LATIN">Logic Morphisms/Atlas</a></li>
<li>Theorem Prover Interoperability</li>
</ul>
<span style="font-weight:bold">Foundations of Mathematics</span>
<ul>
<li><a href="https://omdoc.org">OMDoc</a></li>
<li>advanced Type Theories</li>
<li><a href="http://uniformal.github.io">MMT: Modular Math Theories</a></li>
<li><a href="http://trac.omodoc.org/LATIN">Logic Morphisms/Atlas</a></li>
<li>Theorem Prover Interoperability</li>
</ul>
</td>
<td>
<a href="http://kwarc.info/research/kminteract"><span style="font-weight:bold">Knowledge Mgt. &amp; Interaction</span></a>
<ul>
<li>Semantic Interpretation</li>
<li><a href="https://trac.omdoc.org/JOBAD">JOBAD: Document-Embedded Interaction</a></li>
<li><a href="https://trac.mathweb.org/tntbase">TNTBase: Versioned XML Storage</a></li>
<li><a href="http://trac.mathweb.org/MWS">Math Web Search</a></li>
<li>Math Archives</li>
</ul>
<a href="http://kwarc.info/research/kminteract"><span style="font-weight:bold">Knowledge Mgt. &amp; Interaction</span></a>
<ul>
<li>Semantic Interpretation</li>
<li><a href="https://trac.omdoc.org/JOBAD">JOBAD: Document-Embedded Interaction</a></li>
<li><a href="https://trac.mathweb.org/tntbase">TNTBase: Versioned XML Storage</a></li>
<li><a href="http://trac.mathweb.org/MWS">Math Web Search</a></li>
<li>Math Archives</li>
</ul>
</td>
<td>
<a href="http://kwarc.info/research/semantization">
<span style="font-weight:bold">Semantization</span>
</a>
<ul>
<li><a href="http://github.com/brucemiller/LaTeXML">LaTeX --&gt; XML</a></li>
<li><a href="http://github.com/KWARC/sTeX">sTeX: Semantic LaTeX</a></li>
<li>invasive editors</li>
<li>Context-Aware IDEs</li>
<li>Mathematical Corpora</li>
<li><a href="https://github.com/KWARC/llamapun">Linguistics of Math</a></li>
</ul>
<a href="http://kwarc.info/research/semantization">
<span style="font-weight:bold">Semantization</span>
</a>
<ul>
<li><a href="http://github.com/brucemiller/LaTeXML">LaTeX --&gt; XML</a></li>
<li><a href="http://github.com/KWARC/sTeX">sTeX: Semantic LaTeX</a></li>
<li>invasive editors</li>
<li>Context-Aware IDEs</li>
<li>Mathematical Corpora</li>
<li><a href="https://github.com/KWARC/llamapun">Linguistics of Math</a></li>
</ul>
</td>
</tr>
<tr>
<td colspan="3">
<span style="font-weight:bold">Foundations:</span>
Computational Logic,
<a href="/formal-methods">Formal Methods</a>,
<a href="http://www.w3.org/TR/MathML3/">MathML</a>,
<a href="http://openmath.org">OpenMath</a>
<span style="font-weight:bold">Foundations:</span>
Computational Logic,
<a href="/formal-methods">Formal Methods</a>,
<a href="http://www.w3.org/TR/MathML3/">MathML</a>,
<a href="http://openmath.org">OpenMath</a>
</td>
</tr>
</tbody>
......
......@@ -15,9 +15,9 @@ people:
supported-by:
- oaf
- okd
- latin
- mathsearch
- okd
- latin
- mathsearch
website: https://uniformal.github.io/
repository: https://github.com/Uniformal/MMT
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment