Mumie: Plattform und Autorenumgebung für die Mathematik. - Nina Dahlmann; Sabina Jeschke; Tilman Rassy; Ruedi Seiler; Uwe Sinha (Leipziger Informatik-Tage, 2005)