Explore projects

A listing of CDI student projects, that we would either like to supervise as theses for pay a HiWi for.

User Manual and Documents about the ALeA (Adaptive Learning Assistant) System.

Generic public information on admin tasks of CDI

Number Theoretic Functions

The SMGloM modules for geometry

meta info for PVS

The upper library ontology for theorem prover libraries.

A SMGloM archive for mathematical Software