Lehrstuhl für Symbolic Computation