Softwareentwicklungen im Institut
ARIBAS: Interaktive Langzahlenarithmetik
LMU Scheme
MINLOG: Interaktives Beweissystem
WWW-Verwaltung (wwwadmin@mathematik.uni-muenchen.de)