archiving all the completed MSc supervision repositories after a while
Resources related to the Kwarc seminar, i.e., slides and project papers. Public, i.e., no grading information.
The (Jekyll generated part) of the kwarc website
The MMT blue notes
we archive completed B.Sc supervision repositories here after a while
FrameIT Paper for CICM16
Authors: Denis Rochau, Michael Kohlhase, Dennis Mueller
Bachelor Thesis Denis Rochau
Includes Proposal, Thesis and Presentation
Related Work for FrameIT
The MathWebSearch Manual
resources for the TAs and instructors of the AI courses.
a new EU EOSC proposal
Blue note for finding formula schemata.