Explore projects

The (Jekyll generated part) of the kwarc website

Resources related to the Kwarc seminar, i.e., slides and project papers. Public, i.e., no grading information.

archiving all the completed MSc supervision repositories after a while

we archive completed B.Sc supervision repositories here after a while

Bachelor Thesis Denis Rochau Includes Proposal, Thesis and Presentation

The MMT blue notes

The papers about MathWebSearch

resources for the TAs and instructors of the AI courses.

FrameIT Paper for CICM16

Authors: Denis Rochau, Michael Kohlhase, Dennis Mueller

a new EU EOSC proposal

KAT papers