Transregio 195: "Symbolische Werkzeuge in der Mathematik und ihre Anwendung"