Chair: Lehrstuhl für Mathematik mit Schwerpunkt Symbolic Computation - Files