Lehrstuhl für Mathematik mit Schwerpunkt Symbolic Computation