Dort wurde Edwin Kreuzer 1979 mit einer Arbeit über Symbolische Berechnung der Bewegungsgleichungen von Mehrkörpersystemen promoviert sowie 1986 mit seiner Arbeit Numerische Untersuchung nichtlinearer dynamischer Systeme habilitiert.