Project Work

A project in the KWARC group might lead to internships or RA positions in our group (just talk to Michael Kohlhase if you want to help). See below the list of potential topics:

JOBAD

JOBAD is the JavaScript API for OMDoc-based Active Documents. Active Documents are documents whose presentation adapts to the needs of the user, and which can be manipulated interactively. On top of a generic framework, lots of “active” features can be developed.

panta rhei project

Integrating a semantic representation format (OMDoc) with social technologies such as social tagging, annotation, forums etc.

arXMLiv project

We can use LaTeX gurus and Perl hackers (and people who want to become either)

MWS Editor UI

Integrating the WIRIS Math Editor into the MathWebSearch engine UI

Theory Morphisms in GenCS

A theory morphism is a symbol mapping between theories, such that truth is preserved (this actually has a precise definition). There must be lots of them in the GenCS material, they should be found and marked up.